- Four Color Theorem, The
 - A brief summary of a new proof of the Four Colour Theorem and a four-colouring algorithm found by Neil Robertson, Daniel P. Sanders, Paul Seymour, and Robin Thomas. - Four Colour Theorem
- History of the first major theorem to be proved using a computer.
- 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.
|
