The journey of the four colour theorem through time

Cached

Download Links

by Andreea S. Calude
Venue:The NZ Math. Magazine
Citations:7 - 0 self

Documents Related by Co-Citation

57 Information and randomness: an algorithmic perspective. 2nd edition – C S Calude - 2002
12 E.: Theory and practice – D Knuth - 1991
6 Four Colours Suffice – R Wilson - 2002
5 Proving and Programming – C S Calude, E Calude, S Marcus - 2007
21 Every planar map is four colourable I – K Appel, W Haken - 1977
55 Hilbert's Tenth Problem. Diophantine Equations: Positive Aspects of a Negative Solution, in: Mathematical developments arising from Hilbert – M Davis, Y Matiyasevich, J Robinson - 1976
281 Every planar map is four-colorable – K Appel, W Haken - 1977
148 Hilbert’s Tenth Problem – Y V Matiyasevich - 1993
14 Formal Proof—The Four- Color Theorem – Georges Gonthier
3 Ricci Flow and Geometrization of Three-Manifolds – G Perelman - 2008
455 The entropy formula for the Ricci flow and its geometric applications – Grisha Perelman - 2002
231 Ricci Flow with Surgery on Three-Manifolds – Grisha Perelman
7 Every Planar Graph is Four Colorable – K Appel, W Haken - 1989
3 Probably true theorems, cry wolf – L Babai - 1994
4 No system can be improved in all respects – S Marcus - 1998
4 The philosophical implications of the four–colour problem – E R Swart - 1980
12 The Four Color Problem and its Philosophical Significance – T Tymoczko - 1979
26 A New Proof Of The Four-Colour Theorem – Neil Robertson, Daniel P. Sanders, Paul Seymour, Robin Thomas - 1996
12 What is mathematics – Reuben Hersh - 1997