Imagen de Portada

A Modular First Formalisation of Combinatorial Design Theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Edmonds, Chelsea, Paulson, Lawrence
Formato:	Preprint
Publicado:	2021
Materias:	Logic in Computer Science Combinatorics Logic 05B05, 68V20, 68V35, 03B35 F.4.1; G.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
por: Edmonds, Chelsea, et al.
Publicado: (2023)

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
por: Edmonds, Chelsea, et al.
Publicado: (2022)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
por: Paulson, Lawrence C
Publicado: (2025)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
por: Wang, Zili, et al.
Publicado: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
por: Kosaian, Katherine, et al.
Publicado: (2024)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
por: Farmer, William M.
Publicado: (2026)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
por: Lau, Gabriel Rongyang
Publicado: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
por: Farmer, William M., et al.
Publicado: (2023)

Formalizing Pick's Theorem in Isabelle/HOL
por: Binder, Sage, et al.
Publicado: (2024)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
por: Wiesnet, Franziskus
Publicado: (2025)

A formalization of Borel determinacy in Lean
por: Manthe, Sven
Publicado: (2025)

Universal Algebra in UniMath
por: Amato, Gianluca, et al.
Publicado: (2021)

Anatomy of a Formal Proof
por: Avigad, Jeremy, et al.
Publicado: (2024)

Remarks on Primitive Regulation
por: Rosko, Milan
Publicado: (2026)

Derandomization with Pseudorandomness
por: Karayel, Emin
Publicado: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
por: Férée, Hugo, et al.
Publicado: (2024)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
por: Leme, Renato, et al.
Publicado: (2023)

Universal truth of operator statements via ideal membership
por: Hofstadler, Clemens, et al.
Publicado: (2022)

Algorithm and abstraction in formal mathematics
por: Macbeth, Heather
Publicado: (2024)

A Higher-Order Vampire (Short Paper)
por: Bhayat, Ahmed, et al.
Publicado: (2024)

The continuous functional calculus in Lean
por: Dedecker, Anatole, et al.
Publicado: (2025)

Disproving Termination of Non-Erasing Sole Combinatory Calculus with Tree Automata (Full Version)
por: Nakano, Keisuke, et al.
Publicado: (2024)

Artifical intelligence and inherent mathematical difficulty
por: Dean, Walter, et al.
Publicado: (2024)

Remote Verification System for Mizar Integrated with Emwiki
por: Kai, Toshiki, et al.
Publicado: (2024)

Bounded First-Class Universe Levels in Dependent Type Theory
por: Chan, Jonathan, et al.
Publicado: (2025)

Continuous and algebraic domains in univalent foundations
por: de Jong, Tom, et al.
Publicado: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
por: Dundua, Besik, et al.
Publicado: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
por: Wemmenhove, Jelle, et al.
Publicado: (2024)

Tao's Equational Proof Challenge Accepted (Technical Report)
por: Kondylidou, Lydia, et al.
Publicado: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
por: Fusco, Ludovico, et al.
Publicado: (2025)

Internalizing Extensions in Lattices of Type Theories
por: Chan, Jonathan
Publicado: (2025)

Myhill-Nerode for hypergraphs and an application to gain-graphic matroids
por: Funk, Daryl, et al.
Publicado: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
por: Lopez, Aliaume
Publicado: (2024)

A Logspace Constructive Proof of L=SL
por: Buss, Sam, et al.
Publicado: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
por: Martina, Antoine, et al.
Publicado: (2023)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
por: Santacana, Andreu Ballus
Publicado: (2025)

Complexities of Well-Quasi-Ordered Substructural Logics
por: Galatos, Nikolaos, et al.
Publicado: (2025)

Determination of the fifth Busy Beaver value
por: The bbchallenge Collaboration, et al.
Publicado: (2025)

Formalizing Computational Paths and Fundamental Groups in Lean
por: Ramos, Arthur F., et al.
Publicado: (2025)

The Network Structure of Mathlib
por: Li, Xinze, et al.
Publicado: (2026)