Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Edmonds, Chelsea"'
Autor:
Edmonds, Chelsea, Paulson, Lawrence C.
Formalised libraries of combinatorial mathematics have rapidly expanded over the last five years, but few use one of the most important tools: probability. How can often intuitive probabilistic arguments on the existence of combinatorial structures,
Externí odkaz:
http://arxiv.org/abs/2310.00513
We have formalised Szemer\'edi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proof assistant Isabelle/HOL. For the latter formalisation, we used the
Externí odkaz:
http://arxiv.org/abs/2207.07499
Autor:
Edmonds, Chelsea, Paulson, Lawrence C.
Publikováno v:
13th International Conference on Interactive Theorem Proving (2022). 11:1-11:19
The formalisation of mathematics is continuing rapidly, however combinatorics continues to present challenges to formalisation efforts, such as its reliance on techniques from a wide range of other fields in mathematics. This paper presents formal li
Externí odkaz:
http://arxiv.org/abs/2207.02728
Autor:
Edmonds, Chelsea, Paulson, Lawrence
Publikováno v:
International Conference on Intelligent Computer Mathematics (2021), 3-18
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 a
Externí odkaz:
http://arxiv.org/abs/2105.13583
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Angeliki Koutsoukou-Argyraki
We have formalised Szemer\'edi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proof assistant Isabelle/HOL. For the latter formalisation, we used the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4652f49af4495202a83cd4a7ae55aec0
https://arxiv.org/abs/2207.07499
https://arxiv.org/abs/2207.07499
Autor:
Edmonds, Chelsea
Publikováno v:
Products Finishing. Mar2010, Vol. 74 Issue 6, p12-13. 2p.