Chelsea Edmonds

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 20

Top Topics

Johnson Lindenstrauss

Arithmetic Operations

Top Venues

Arch. Formal Proofs

Publications

Chelsea Edmonds, Lawrence C. Paulson
Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma. CPP (2024)
Chelsea Edmonds, Lawrence C. Paulson
Formal Probabilistic Methods for Combinatorial Structures in Isabelle/HOL. CoRR (2023)
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL. CPP (2023)
Chelsea Edmonds
Hypergraphs. Arch. Formal Proofs 2023 (2023)
Chelsea Edmonds
General Probabilistic Techniques for Combinatorics and the Lovasz Local Lemma. Arch. Formal Proofs 2023 (2023)
Chelsea Edmonds, Lawrence C. Paulson
Hypergraph Colouring Bounds. Arch. Formal Proofs 2023 (2023)
Chelsea Edmonds, Lawrence C. Paulson
Hypergraph Colouring Bounds. Arch. Formal Proofs 2023 (2023)
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL. J. Autom. Reason. 67 (1) (2023)
Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds
The Balog-Szemerédi-Gowers Theorem. Arch. Formal Proofs 2022 (2022)
Chelsea Edmonds, Lawrence C. Paulson
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics. CoRR (2022)
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL. CoRR (2022)
Chelsea Edmonds
Undirected Graph Theory. Arch. Formal Proofs 2022 (2022)
Chelsea Edmonds, Lawrence C. Paulson
Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics. Arch. Formal Proofs 2022 (2022)
Chelsea Edmonds, Lawrence C. Paulson
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics. ITP (2022)
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Szemerédi's Regularity Lemma. Arch. Formal Proofs 2021 (2021)
Chelsea Edmonds, Lawrence C. Paulson
Combinatorial Design Theory. Arch. Formal Proofs 2021 (2021)
Chelsea Edmonds, Lawrence C. Paulson
A Modular First Formalisation of Combinatorial Design Theory. CICM (2021)
Chelsea Edmonds, Lawrence C. Paulson
A Modular First Formalisation of Combinatorial Design Theory. CoRR (2021)
Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
Roth's Theorem on Arithmetic Progressions. Arch. Formal Proofs 2021 (2021)
Chelsea Edmonds
Lucas's Theorem. Arch. Formal Proofs 2020 (2020)