Opening book details…
About this Mathematics article
A Formal Proof Of The Kepler Conjecture by Hales, Thomas (author);Adams, Mark (author);Bauer, Gertrud (author);Dang, Tat Dat (author);Harrison, John (author);Hoang, Le Truong (author);Kaliszyk, Cezary (author);Magron, Victor (author);McLaughlin, Sean (author);Nguyen, Tat Thang (author);Nguyen, Quang Truong (author);Nipkow, Tobias (author);Obua, Steven (author);Pleso, Joseph (author);Rute, Jason (author);Solovyev, Alexey (author);Ta, Thi Hoai An (author);Tran, Nam Trung (author);Trieu, Thi Diep (author);Urban, Josef (author);Vu, Ky (author);Zumkeller, Roland (author) is a Mathematics article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Mathematics.
- Author
- Hales, Thomas (author);Adams, Mark (author);Bauer, Gertrud (author);Dang, Tat Dat (author);Harrison, John (author);Hoang, Le Truong (author);Kaliszyk, Cezary (author);Magron, Victor (author);McLaughlin, Sean (author);Nguyen, Tat Thang (author);Nguyen, Quang Truong (author);Nipkow, Tobias (author);Obua, Steven (author);Pleso, Joseph (author);Rute, Jason (author);Solovyev, Alexey (author);Ta, Thi Hoai An (author);Tran, Nam Trung (author);Trieu, Thi Diep (author);Urban, Josef (author);Vu, Ky (author);Zumkeller, Roland (author)
- Publisher
- Cambridge University Press
- Published
- 2017
- Field
- Mathematics (Physical Sciences)