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 fourcolorable
– 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 ThreeManifolds
– G Perelman
 2008

455

The entropy formula for the Ricci flow and its geometric applications
– Grisha Perelman
 2002

231

Ricci Flow with Surgery on ThreeManifolds
– 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 FourColour Theorem
– Neil Robertson, Daniel P. Sanders, Paul Seymour, Robin Thomas
 1996

12

What is mathematics
– Reuben Hersh
 1997
