TY  - RPRT
TI  - Some algorithms arising in the proof of the Kepler conjecture
AU  - Thomas C. Hales
PY  - 2002
UR  - https://arxiv.org/abs/math/0205209
ID  - math/0205209
ER  -