Combinatorial design theory studies set systems with certain balance and symmetry properties and has applications to computer science and elsewhere. This paper presents a modular approach to formalising designs for the first time using Isabelle and assesses the usability of a locale-centric approach to formalisations of mathematical structures. We demonstrate how locales can be used to specify numerous types of designs and their hierarchy. The resulting library, which is concise and adaptable, includes formal definitions and proofs for many key properties, operations, and theorems on the construction and existence of designs.Comment: This paper has been accepted to CICM 2021. The full formalisation will be made available on the Isabelle A...
Combinatorial Designs, also known as experimental designs, historically first were used in agricultu...
Includes proof of van der Waerden's 1926 conjecture on permanents, Wilson's theorem on asymptotic ex...
AbstractThe combinatorial structure configuration which was already defined as early as 1876 is the ...
Combinatorial design theory studies set systems with certain balance and symmetry properties and has...
The scope of the volume includes all algorithmic and computational aspects of research on combinator...
Created to teach students many of the most important techniques used for constructing combinatorial ...
Combinatorial design theory is a source of simply stated, concrete, yet difficult discrete problems,...
This volume is a sequel to the 1996 compilation, Computational and Constructive Design Theory. It co...
The theory of combinatorial designs has been used in widely different areas of computation concerned...
AbstractIn the theory of communication, both coding and cryptology play an important role. They are ...
Combinatorial designs with two singular values I. Uniform multiplicative designs E.R. van Dam
About the book: This volume contains survey articles based on the invited lectures given at the Twen...
Haim Hanani pioneered the techniques for constructing designs and the theory of pairwise balanced de...
Ludics is a reconstruction of logic with interaction as a primitive notion,in the sense that the pri...
Combinatorial Designs, also known as experimental designs, historically first were used in agricultu...
Combinatorial Designs, also known as experimental designs, historically first were used in agricultu...
Includes proof of van der Waerden's 1926 conjecture on permanents, Wilson's theorem on asymptotic ex...
AbstractThe combinatorial structure configuration which was already defined as early as 1876 is the ...
Combinatorial design theory studies set systems with certain balance and symmetry properties and has...
The scope of the volume includes all algorithmic and computational aspects of research on combinator...
Created to teach students many of the most important techniques used for constructing combinatorial ...
Combinatorial design theory is a source of simply stated, concrete, yet difficult discrete problems,...
This volume is a sequel to the 1996 compilation, Computational and Constructive Design Theory. It co...
The theory of combinatorial designs has been used in widely different areas of computation concerned...
AbstractIn the theory of communication, both coding and cryptology play an important role. They are ...
Combinatorial designs with two singular values I. Uniform multiplicative designs E.R. van Dam
About the book: This volume contains survey articles based on the invited lectures given at the Twen...
Haim Hanani pioneered the techniques for constructing designs and the theory of pairwise balanced de...
Ludics is a reconstruction of logic with interaction as a primitive notion,in the sense that the pri...
Combinatorial Designs, also known as experimental designs, historically first were used in agricultu...
Combinatorial Designs, also known as experimental designs, historically first were used in agricultu...
Includes proof of van der Waerden's 1926 conjecture on permanents, Wilson's theorem on asymptotic ex...
AbstractThe combinatorial structure configuration which was already defined as early as 1876 is the ...