A Formalization of Convex Polyhedra Based on the Simplex Method - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

A Formalization of Convex Polyhedra Based on the Simplex Method

(1) , (2)
1
2

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⟩
128 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More