TY  - RPRT
TI  - A formal proof of the Kepler conjecture
AU  - Thomas Hales
AU  - Mark Adams
AU  - Gertrud Bauer
AU  - Dat Tat Dang
AU  - John Harrison
AU  - Truong Le Hoang
AU  - Cezary Kaliszyk
AU  - Victor Magron
AU  - Sean McLaughlin
AU  - Thang Tat Nguyen
AU  - Truong Quang Nguyen
AU  - Tobias Nipkow
AU  - Steven Obua
AU  - Joseph Pleso
AU  - Jason Rute
AU  - Alexey Solovyev
AU  - An Hoai Thi Ta
AU  - Trung Nam Tran
AU  - Diep Thi Trieu
AU  - Josef Urban
AU  - Ky Khac Vu
AU  - Roland Zumkeller
PY  - 2015
UR  - https://arxiv.org/abs/1501.02155
ID  - 1501.02155
ER  -