Buchumschlag

Formalising New Mathematics in Isabelle: Diagonal Ramsey

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Paulson, Lawrence C
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Combinatorics 05D10, 03B35, 68V15, 68V20
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Modular First Formalisation of Combinatorial Design Theory
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2021)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2023)

Formalizing Pick's Theorem in Isabelle/HOL
von: Binder, Sage, et al.
Veröffentlicht: (2024)

Anatomy of a Formal Proof
von: Avigad, Jeremy, et al.
Veröffentlicht: (2024)

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
von: Edmonds, Chelsea, et al.
Veröffentlicht: (2022)

Formalizing MLTL Formula Progression in Isabelle/HOL
von: Kosaian, Katherine, et al.
Veröffentlicht: (2024)

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

A Higher-Order Vampire (Short Paper)
von: Bhayat, Ahmed, et al.
Veröffentlicht: (2024)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
von: Wang, Zili, et al.
Veröffentlicht: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
von: Farmer, William M.
Veröffentlicht: (2026)

The continuous functional calculus in Lean
von: Dedecker, Anatole, et al.
Veröffentlicht: (2025)

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

Remote Verification System for Mizar Integrated with Emwiki
von: Kai, Toshiki, et al.
Veröffentlicht: (2024)

PatternBoost: Constructions in Mathematics with a Little Help from AI
von: Charton, François, et al.
Veröffentlicht: (2024)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
von: Malbos, Philippe, et al.
Veröffentlicht: (2024)

Universal truth of operator statements via ideal membership
von: Hofstadler, Clemens, et al.
Veröffentlicht: (2022)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
von: Farmer, William M., et al.
Veröffentlicht: (2023)

Remarks on Primitive Regulation
von: Rosko, Milan
Veröffentlicht: (2026)

The Network Structure of Mathlib
von: Li, Xinze, et al.
Veröffentlicht: (2026)

Artifical intelligence and inherent mathematical difficulty
von: Dean, Walter, et al.
Veröffentlicht: (2024)

Algorithm and abstraction in formal mathematics
von: Macbeth, Heather
Veröffentlicht: (2024)

Self-adhesivity in lattices of abstract conditional independence models
von: Boege, Tobias, et al.
Veröffentlicht: (2024)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2021)

Evolving Local Corrections for Global Constructions in Combinatorics
von: Bérczi, Gergely
Veröffentlicht: (2026)

Internalizing Extensions in Lattices of Type Theories
von: Chan, Jonathan
Veröffentlicht: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2025)

L-Mosaics and Bounded Join-Semilattices in Isabelle/HOL
von: Linzi, Alessandro
Veröffentlicht: (2025)

A Formalization of Abstract Rewriting in Agda
von: Arkle, Sam, et al.
Veröffentlicht: (2026)

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
von: Firsching, Moritz, et al.
Veröffentlicht: (2026)

Choiceless Polynomial Space
von: Ferrarotti, Flavio, et al.
Veröffentlicht: (2024)

Dependent Types Simplified
von: Bice, Tristan
Veröffentlicht: (2025)

Higher-Order Pattern Unification Modulo Similarity Relations
von: Dundua, Besik, et al.
Veröffentlicht: (2025)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
von: Wiesnet, Franziskus
Veröffentlicht: (2025)

Exploring P versus NP
von: Tang, Jian-Gang
Veröffentlicht: (2022)

Formalizing Pick's Theorem, efficiently
von: Eisermann, Michael
Veröffentlicht: (2026)

The strength of Ramsey's theorem for $α$-large sets
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2026)

A formalization of Borel determinacy in Lean
von: Manthe, Sven
Veröffentlicht: (2025)

Finitely Bounded Homogeneity Turned Inside-Out
von: Rydval, Jakub
Veröffentlicht: (2021)

Quantum Random Self-Modifiable Computation
von: Fiske, Michael Stephen
Veröffentlicht: (2018)

Algebra of Self-Replication
von: Moss, Lawrence S.
Veröffentlicht: (2023)