Chelsea Edmonds

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2023

Formal Probabilistic Methods for Combinatorial Structures in Isabelle/HOL.

[BibT_eX]

[DOI]

CoRR, 2023

Hypergraph Colouring Bounds.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2023

Hypergraphs.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2023

General Probabilistic Techniques for Combinatorics and the Lovasz Local Lemma.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2023

A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.

[BibT_eX]

[DOI]

Mantas Baksys

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

The Balog-Szemerédi-Gowers Theorem.

[BibT_eX]

[DOI]

Mantas Baksys

Arch. Formal Proofs, 2022

Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2022

Undirected Graph Theory.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2022

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Combinatorial Design Theory.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2021

Roth's Theorem on Arithmetic Progressions.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2021

Szemerédi's Regularity Lemma.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2021

A Modular First Formalisation of Combinatorial Design Theory.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

2020

Lucas's Theorem.

[BibT_eX]

[DOI]