TY  - RPRT
TI  - A computer verification of the Kepler conjecture
AU  - Thomas C. Hales
PY  - 2003
UR  - https://arxiv.org/abs/math/0305012
ID  - math/0305012
ER  -