A Formulation of the Kepler Conjecture.

Thomas C. Hales Samuel P. Ferguson

Published in: Discret. Comput. Geom. (2006)

Keyphrases

scientific workflows
set theoretic
case study
quadratic programming
probabilistic formulation
data sets
databases
genetic algorithm
artificial intelligence
expert systems
efficient optimization