Formalizing the Proof of the Kepler Conjecture.

Thomas C. Hales

Published in: TPHOLs (2004)

Keyphrases

scientific workflows
theorem proving
linear logic
real time
information retrieval
data structure
semi automatic
computer vision
automated theorem proving
natural deduction
mathematical proofs