Mathematics/Combinatorics
Subject Classification
ACM: Mathematics of computing~Combinatorics
AMS: Combinatorics
2024
Compactness Theorem for Propositional Logic and Combinatorial Applications
by Fabián Fernando Serran Suárez, Thaynara Arielly de Lima and Mauricio Ayala-Rincón
2023
2022
The Balog–Szemerédi–Gowers Theorem
by Angeliki Koutsoukou-Argyraki, Mantas Bakšys and Chelsea Edmonds
Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics
by Chelsea Edmonds and Lawrence C. Paulson
2021
Roth's Theorem on Arithmetic Progressions
by Chelsea Edmonds, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson
Szemerédi's Regularity Lemma
by Chelsea Edmonds, Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson