A Formalization of Convex Polyhedra Based on the Simplex Method - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

Dates and versions

hal-01673390 , version 1 (29-12-2017)

Identifiers

Cite

Xavier Allamigeon, Ricardo D. Katz. A Formalization of Convex Polyhedra Based on the Simplex Method. Interactive Theorem Proving, Sep 2017, Brasília, Brazil. ⟨hal-01673390⟩
142 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More