Linear Programs for the Kepler Conjecture - (Extended Abstract).
Thomas C. HalesPublished in: ICMS (2010)
Keyphrases
- extended abstract
- linear program
- linear programming
- scientific workflows
- simplex method
- semi infinite
- optimal solution
- column generation
- stochastic programming
- multistage stochastic
- np hard
- objective function
- integer program
- primal dual
- interior point methods
- linear programming problems
- strongly polynomial
- dynamic programming
- mixed integer linear program
- market equilibrium
- nelder mead
- extreme points
- simplex algorithm
- quadratic program
- search algorithm
- reinforcement learning
- web services
- genetic algorithm