External Tools for the Formal Proof of the Kepler Conjecture.

Thomas C. Hales

Published in: PxTP@CADE (2013)

Keyphrases

formal proof
scientific workflows
theorem prover
software tools
design decisions
information retrieval
learning algorithm
case study
bayesian networks
decision support
user friendly
computational tools