Roth's Theorem on Arithmetic Progressions (Formal proof development)

Chelsea Edmonds, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{c77fbf34932542dc96b61af809e61a71,

title = "Roth's Theorem on Arithmetic Progressions (Formal proof development)",

author = "Chelsea Edmonds and Angeliki Koutsoukou-Argyraki and Paulson, {Lawrence C.}",

note = "\url{https://www.isa-afp.org/entries/Roth_Arithmetic_Progressions.html} ",

year = "2021",

month = dec,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}