Mathematics/Graph Theory

Subject Classification

ACM: Mathematics of computing~Graph theory

AMS: Combinatorics / Graph theory

2022

Turán's Graph Theorem

by Nils Lauermann

Nov 14

The Balog–Szemerédi–Gowers Theorem

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

Nov 11

Undirected Graph Theory

by Chelsea Edmonds

Sep 29

Knight's Tour Revisited Revisited

by Lukas Koller

Jan 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

Relational Forests

by Walter Guttmann

Aug 03

2020

Relational Characterisations of Paths

by Walter Guttmann and Peter Höfner

Jul 13

2018

Graph Saturation

by Sebastiaan J. C. Joosten

Nov 23

Upper Bounding Diameters of State Spaces of Factored Transition Systems

by Friedrich Kurz and Mohammad Abdulaziz

Oct 12

2017

Formalizing Push-Relabel Algorithms

by Peter Lammich and S. Reza Sefidgar

Jun 01

Flow Networks and the Min-Cut-Max-Flow Theorem

by Peter Lammich and S. Reza Sefidgar

Jun 01

Menger's Theorem

by Christoph Dittmann

Feb 26

2016

Tree Decomposition

by Christoph Dittmann

May 31

A Formal Proof of the Max-Flow Min-Cut Theorem for Countable Networks

by Andreas Lochbihler

May 09

2015

Planarity Certificates

by Lars Noschinski

Nov 11

Positional Determinacy of Parity Games

by Christoph Dittmann

Nov 02

2014

Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm

by Peter Lammich

May 28

Properties of Random Graphs -- Subgraph Containment

by Lars Hupel

Feb 13

2013

The Königsberg Bridge Problem and the Friendship Theorem

by Wenda Li

Jul 19

An Axiomatic Characterization of the Single-Source Shortest Path Problem

by Christine Rizkallah

May 22

Graph Theory

by Lars Noschinski

Apr 28

2012

A Probabilistic Proof of the Girth-Chromatic Number Theorem

by Lars Noschinski

Feb 06

2011

Maximum Cardinality Matching

by Christine Rizkallah

Jul 21

2006

Flyspeck I: Tame Graphs

by Gertrud Bauer and Tobias Nipkow

May 22