# Mathematics/Graph theory

## Subject Classification

ACM: Mathematics of computing~Graph theory

AMS: Combinatorics / Graph theory

## 2023

## 2022

##### The Balog–Szemerédi–Gowers Theorem

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

## 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

## 2020

## 2018

##### Upper Bounding Diameters of State Spaces of Factored Transition Systems

by Friedrich Kurz and Mohammad Abdulaziz

## 2017

## 2016

## 2015

## 2014

##### Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm

by Peter Lammich