Mathematics/Graph Theory

Knight's Tour Revisited Revisited
by Lukas Koller

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

Relational Forests
by Walter Guttmann

Relational Characterisations of Paths
by Walter Guttmann and Peter Höfner

Graph Saturation
by Sebastiaan J. C. Joosten

Upper Bounding Diameters of State Spaces of Factored Transition Systems
by Friedrich Kurz and Mohammad Abdulaziz

Formalizing Push-Relabel Algorithms
by Peter Lammich and S. Reza Sefidgar

Flow Networks and the Min-Cut-Max-Flow Theorem
by Peter Lammich and S. Reza Sefidgar

Menger's Theorem
by Christoph Dittmann

Tree Decomposition
by Christoph Dittmann

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

Planarity Certificates
by Lars Noschinski

Positional Determinacy of Parity Games
by Christoph Dittmann

Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm
by Peter Lammich

Properties of Random Graphs -- Subgraph Containment
by Lars Hupel

The Königsberg Bridge Problem and the Friendship Theorem
by Wenda Li

An Axiomatic Characterization of the Single-Source Shortest Path Problem
by Christine Rizkallah

Graph Theory
by Lars Noschinski

A Probabilistic Proof of the Girth-Chromatic Number Theorem
by Lars Noschinski

Maximum Cardinality Matching
by Christine Rizkallah

Flyspeck I: Tame Graphs
by Gertrud Bauer and Tobias Nipkow