Conference Papers
Year : 2017
Xavier Allamigeon : Connect in order to contact the contributor
https://inria.hal.science/hal-01673390
Submitted on : Friday, December 29, 2017-2:28:44 PM
Last modification on : Friday, October 27, 2023-4:14:06 PM
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⟩
Collections
131
View
0
Download