A formalization of convex polyhedra based on the simplex method

DOI10.1007/978-3-319-66107-0_3MaRDI QIDQ6830169zbMATH OpenFDO

Authors Xavier Allamigeon, Ricardo D. Katz

Publication date 4 January 2018

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Linear programming (90C05) Special polytopes (linear programming, centrally symmetric, etc.) (52B12) Formalization of mathematics in connection with theorem provers (68V20) Extreme-point and pivoting methods (90C49)

This page was built for publication: A formalization of convex polyhedra based on the simplex method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6830169)