A Formalization of Convex Polyhedra Based on the Simplex Method.

Xavier Allamigeon, Ricardo D. Katz

Browse the full ITP paper archive.