A proof of the Kepler conjecture - Hales, TC (Annals of mathematics, 2005)