@article{b4b940ebdf48437ebf375685b5d960af,
title = "Formalising Szemer{\'e}di{\textquoteright}s Regularity Lemma and Roth{\textquoteright}s Theorem on Arithmetic Progressions in Isabelle/HOL",
keywords = "Additive combinatorics, Arithmetic progressions, Extremal graph theory, Formalisation of mathematics, Interactive theorem proving, Isabelle/HOL, Number theory, Proof assistant",
author = "Chelsea Edmonds and Angeliki Koutsoukou-Argyraki and Paulson, {Lawrence C.}",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s).",
year = "2022",
month = dec,
day = "19",
doi = "10.1007/s10817-022-09650-2",
language = "English",
volume = "67",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "1",
}