A Formalization of Convex Polyhedra Based on the Simplex Method.

Xavier Allamigeon Ricardo D. Katz

Published in: ITP (2017)

Keyphrases

simplex method
convex polyhedra
linear programming
linear program
linear fractional
convex hull
convergence rate
minimum distance
column generation
interior point methods
search space
primal dual
objective function
quadratic programming