Mathematics/Combinatorics

Subject Classification

ACM: Mathematics of computing~Combinatorics

AMS: Combinatorics

2025

Formal Proof of Dilworth's Theorem

by Vivek Soorya Maadoori, Syed Mohammad Meesum, Shiv Pillai, T. V. H. Prathamesh and Aditya Swami

Mar 25

Transitive Union-Closed Families

by Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson

Jan 20

2024

The Rogers–Ramanujan Identities

by Manuel Eberl

Dec 02

A Generalization of the Cauchy–Davenport theorem

by Mantas Bakšys

Nov 23

The Boustrophedon Transform, the Entringer Numbers, and Related Sequences

by Manuel Eberl

Oct 24

An Exponential Improvement for Diagonal Ramsey

by Lawrence C. Paulson

Sep 02

Ramsey Number Bounds

by Lawrence C. Paulson

Aug 22

Compactness Theorem for Propositional Logic and Combinatorial Applications

by Fabián Fernando Serran Suárez, Thaynara Arielly de Lima and Mauricio Ayala-Rincón

Aug 19

2023

Hypergraph Colouring Bounds

by Chelsea Edmonds and Lawrence C. Paulson

Sep 23

General Probabilistic Techniques for Combinatorics and the Lovasz Local Lemma

by Chelsea Edmonds

Sep 20

Hypergraphs

by Chelsea Edmonds

Sep 20

Polygonal Number Theorem

by Kevin Lee, Zhengkun Ye and Angeliki Koutsoukou-Argyraki

Aug 10

Gray Codes for Arbitrary Numeral Systems

by Maximilian Spitz

Jul 11

Tree Enumeration

by Nils Cremer

May 09

2022

Sauer-Shelah Lemma

by Ata Keskin

Nov 24

Kneser's Theorem and the Cauchy–Davenport Theorem

by Mantas Bakšys and Angeliki Koutsoukou-Argyraki

Nov 21

Combinatorial Enumeration Algorithms

by Paul Hofmeier and Emin Karayel

Nov 11

The Balog–Szemerédi–Gowers Theorem

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

Nov 11

Khovanskii's Theorem

by Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson

Sep 02

The Hales–Jewett Theorem

by Ujkan Sulejmani, Manuel Eberl and Katharina Kreuzer

Sep 02

The Plünnecke-Ruzsa Inequality

by Angeliki Koutsoukou-Argyraki and Lawrence C. Paulson

May 26

Clique is not solvable by monotone circuits of polynomial size

by René Thiemann

May 08

Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics

by Chelsea Edmonds and Lawrence C. Paulson

Apr 21

Enumeration of Equivalence Relations

by Emin Karayel

Feb 04

2021

Roth's Theorem on Arithmetic Progressions

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

Dec 28

Szemerédi's Regularity Lemma

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

Nov 05

Combinatorial Design Theory

by Chelsea Edmonds and Lawrence C. Paulson

Aug 13

Van der Waerden's Theorem

by Katharina Kreuzer and Manuel Eberl

Jun 22

The Sunflower Lemma of Erdős and Rado

by René Thiemann

Feb 25

2020

Cofinality and the Delta System Lemma

by Pedro Sánchez Terraf

Dec 27

Ordinal Partitions

by Lawrence C. Paulson

Aug 03

The Nash-Williams Partition Theorem

by Lawrence C. Paulson

May 16

2018

Matroids

by Jonas Keinholz

Nov 16

2017

The Falling Factorial of a Sum

by Lukas Bulwahn

Dec 22

2016

The Twelvefold Way

by Lukas Bulwahn

Dec 29

Cardinality of Multisets

by Lukas Bulwahn

Jun 26

Catalan Numbers

by Manuel Eberl

Jun 21

Cardinality of Equivalence Relations

by Lukas Bulwahn

May 24

Spivey's Generalized Recurrence for Bell Numbers

by Lukas Bulwahn

May 04

Cardinality of Number Partitions

by Lukas Bulwahn

Jan 14

2015

Cardinality of Set Partitions

by Lukas Bulwahn

Dec 12

Latin Square

by Alexander Bentkamp

Dec 02

Euler's Partition Theorem

by Lukas Bulwahn

Nov 19

Derangements Formula

by Lukas Bulwahn

Jun 27

2014

Discrete Summation

by Florian Haftmann

Apr 13

2012

Open Induction

by Mizuhito Ogawa and Christian Sternagel

Nov 02

Bondy's Theorem

by Jeremy Avigad and Stefan Hetzl

Oct 27

Well-Quasi-Orders

by Christian Sternagel

Apr 13

2010

Hall's Marriage Theorem

by Dongchen Jiang and Tobias Nipkow

Dec 17

2004

Ramsey's theorem, infinitary version

by Tom Ridge

Sep 20