Thomas C. Hales: A computer verification of the Kepler conjecture. 30. April 2003, arxiv:math/0305012.
cambridge.org
Thomas Hales, Mark Adams, Gertrud Bauer, Tat Dat Dang, John Harrison: A formal proof of the Kepler conjecture. In: Forum of Mathematics, Pi. Band5, 2017, ISSN2050-5086, doi:10.1017/fmp.2017.1 (cambridge.org [abgerufen am 18. März 2019]).
Thomas C. Hales, Samuel P. Ferguson: A Formulation of the Kepler Conjecture. In: Discrete & Computational Geometry. Band36, Nr.1, Juli 2006, ISSN0179-5376, S.21–69, doi:10.1007/s00454-005-1211-1 (Weitere Aufsätze von Hales, Ferguson in demselben Heft).
Thomas Hales, Mark Adams, Gertrud Bauer, Tat Dat Dang, John Harrison: A formal proof of the Kepler conjecture. In: Forum of Mathematics, Pi. Band5, 2017, ISSN2050-5086, doi:10.1017/fmp.2017.1 (cambridge.org [abgerufen am 18. März 2019]).
Thomas C. Hales, Samuel P. Ferguson: A Formulation of the Kepler Conjecture. In: Discrete & Computational Geometry. Band36, Nr.1, Juli 2006, ISSN0179-5376, S.21–69, doi:10.1007/s00454-005-1211-1 (Weitere Aufsätze von Hales, Ferguson in demselben Heft).
Thomas Hales, Mark Adams, Gertrud Bauer, Tat Dat Dang, John Harrison: A formal proof of the Kepler conjecture. In: Forum of Mathematics, Pi. Band5, 2017, ISSN2050-5086, doi:10.1017/fmp.2017.1 (cambridge.org [abgerufen am 18. März 2019]).