Login / Signup
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