# The Four-Colour Theorem

```@article{Robertson1997TheFT,
title={The Four-Colour Theorem},
author={Neil Robertson and Daniel P. Sanders and Paul D. Seymour and Robin Thomas},
journal={J. Comb. Theory, Ser. B},
year={1997},
volume={70},
pages={2-44}
}```
• Published 1 May 1997
• Mathematics
• J. Comb. Theory, Ser. B
The four-colour theorem, that every loopless planar graph admits a vertex-colouring with at most four different colours, was proved in 1976 by Appel and Haken, using a computer. Here we give another proof, still using a computer, but simpler than Appel and Haken's in several respects.
603 Citations
• Mathematics
• 1996
The four-colour theorem, that every loopless planar graph admits a vertex-colouring with at most four different colours, was proved in 1976 by Appel and Haken, using a computer. Here we announce
The four-color theorem, that every loopless planar graph admits a vertex-coloring with at most four different colors, was proved in 1976 by Appel and Haken, using a computer. In this article I
We show, without using the Four Color Theorem, that for each planar triangulation, the number of its proper vertex colorings by 4 colors is a determinant and thus can be calculated in a polynomial
We give a pictorial, and absurdly simple, proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar
• Mathematics
STOC '96
• 1996
An outline of aquadratic algorithm to 4-color planar graphs is presented, based upon anew proof of the Four Color Theorem. This algorithm improves aquartic algorithm of Appel and Haken.
• Mathematics
• 2016
Wegner conjectured in 1977 that the square of every planar graph with maximum degree at most \$3\$ is \$7\$-colorable. We prove this conjecture using the discharging method and computational techniques
• Mathematics
TPHOLs
• 2002
Based on an inductive definition of triangulations, a theory of undirected planar graphs is developed in Isabelle/HOL. The proof of the 5 colour theorem is discussed in some detail, emphasizing the