A formal proof of the Kepler conjecture.

Thomas C. Hales Mark Adams Gertrud Bauer Dat Tat Dang John Harrison Truong Le Hoang Cezary Kaliszyk Victor Magron Sean McLaughlin Thang Tat Nguyen Truong Quang Nguyen Tobias Nipkow Steven Obua Joseph Pleso Jason M. Rute Alexey Solovyev An Hoai Thi Ta Trung Nam Tran Diep Thi Trieu Josef Urban Ky Khac Vu Roland Zumkeller

Published in: CoRR (2015)

Keyphrases