The Balog–Szemerédi–Gowers Theorem (Formal proof development)

Angeliki Koutsoukou-Argyraki, Mantas Bakšys, Chelsea Edmonds

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

Access to Document

@article{77ff5e76ffde4d11aa4c324c4c8df57c,

title = "The Balog–Szemer{\'e}di–Gowers Theorem (Formal proof development)",

author = "Angeliki Koutsoukou-Argyraki and Mantas Bak{\v s}ys and Chelsea Edmonds",

note = "\textbackslash{}url\{https://www.isa-afp.org/entries/Balog\_Szemeredi\_Gowers.html\} ",

year = "2022",

month = nov,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}