Some algorithms arising in the proof of the Kepler conjecture. Available as arXiv:math/0205209v1 (0)

by Thomas C Hales