Four Color Theorem, The
A brief summary of a new proof of the Four Color Theorem and a four-coloring algorithm found by Neil Robertson, Daniel P. Sanders, Paul Seymour, and Robin Thomas.
New Proof of the Four Colour Theorem
Ashay Dharwadker uses Eilenberg modules, Hall matchings, Riemann surfaces, Steiner systems, and a map of Madhya Pradesh, India, to present his proof.
Four Colour Theorem
History of the first major theorem to be proved using a computer.