1. Bauer, G.: Formalizing Plane Graph Theory — Towards a Formalized Proof of the Kepler Conjecture. PhD thesis, Technische Universität München (2006)
2. Lecture Notes in Computer Science;S. Berghofer,2002
3. Gonthier, G.: A computer-checked proof of the four colour theorem, available at
research.microsoft.com/~gonthier/4colproof.pdf
4. Hales, T.C.: Cannonballs and honeycombs. Notices Amer. Math. Soc. 47, 440–449 (2000)
5. Hales, T.C.: A proof of the Kepler conjecture. Annals of Mathematics 162, 1063–1183 (2005)