Some algorithms arising in the proof of the Kepler conjecture (2003)

by Thomas C Hales
Venue:In Discrete and Computational Geometry, Algorithms and Combinatorics 25