A Formalization of Convex Polyhedra Based on the Simplex Method.

Xavier Allamigeon Ricardo D. Katz

Published in: J. Autom. Reason. (2019)

Keyphrases

simplex method
convex polyhedra
linear programming
linear program
linear fractional
convex hull
convergence rate
primal dual
column generation
minimum distance
binary images
learning algorithm
optimal solution
search algorithm
markov chain
quadratic programming