A FORMAL PROOF OF THE KEPLER CONJECTURE
HALES, THOMAS ;
ADAMS, MARK ;
BAUER, GERTRUD ;
DANG, TAT DAT ;
HARRISON, JOHN ;
HOANG, LE TRUONG ;
KALISZYK, CEZARY ;
MAGRON, VICTOR ;
MCLAUGHLIN, SEAN ;
NGUYEN, TAT THANG ;
NGUYEN, QUANG TRUONG ;
NIPKOW, TOBIAS ;
OBUA, STEVEN ;
PLESO, JOSEPH ;
RUTE, JASON ;
SOLOVYEV, ALEXEY ;
TA, THI HOAI AN ;
TRAN, NAM TRUNG ;
TRIEU, THI DIEP ;
URBAN, JOSEF ;
VU, KY ;
ZUMKELLER, ROLAND
p. e2
