HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Thomas Hales

Publications
External Tools for the Formal Proof of the Kepler Conjecture
Thomas C. Hales
In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving

Keyphrases

Flyspeck, higher-order logic, HOL Light, Kepler Conjecture, linear programming.

Copyright © 2012-2025 easychair.org. All rights reserved.