A revision of the proof of the kepler conjecture. (2010)

by Thomas C Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller
Venue:Discrete & Computational Geometry,