TY  - JOUR
AU  - THOMAS HALES
AU  - MARK ADAMS
AU  - GERTRUD BAUER
AU  - TAT DAT DANG
AU  - JOHN HARRISON
AU  - LE TRUONG HOANG
AU  - CEZARY KALISZYK
AU  - VICTOR MAGRON
AU  - SEAN MCLAUGHLIN
AU  - TAT THANG NGUYEN
AU  - QUANG TRUONG NGUYEN
AU  - TOBIAS NIPKOW
AU  - STEVEN OBUA
AU  - JOSEPH PLESO
AU  - JASON RUTE
AU  - ALEXEY SOLOVYEV
AU  - THI HOAI AN TA
AU  - NAM TRUNG TRAN
AU  - THI DIEP TRIEU
AU  - JOSEF URBAN
AU  - KY VU
AU  - ROLAND ZUMKELLER
TI  - A FORMAL PROOF OF THE KEPLER CONJECTURE
JO  - Forum of Mathematics, Pi
PY  - 2017
VL  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.1017/fmp.2017.1/
DO  - 10.1017/fmp.2017.1
LA  - en
ID  - 10_1017_fmp_2017_1
ER  -