TY  - RPRT
TI  - A revision of the proof of the Kepler conjecture
AU  - Thomas C. Hales
AU  - John Harrison
AU  - Sean McLaughlin
AU  - Tobias Nipkow
AU  - Steven Obua
AU  - Roland Zumkeller
PY  - 2009
UR  - https://arxiv.org/abs/0902.0350
ID  - 0902.0350
ER  -