Proving Bounds for Real Linear Programs in Isabelle/HOL.
Steven ObuaPublished in: Mathematics, Algorithms, Proofs (2005)
Keyphrases
- linear program
- linear programming
- theorem prover
- simplex method
- semi infinite
- natural deduction
- optimal solution
- stage stochastic programs
- primal dual
- stochastic programming
- lower bound
- upper bound
- column generation
- mixed integer
- linear programming problems
- objective function
- linear inequalities
- integer program
- np hard
- market equilibrium
- extreme points
- mixed integer linear program
- dynamic programming
- inference rules
- resource allocation