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

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Mathematics [math] Combinatorics [math.CO] Mathematics [math] Optimization and Control [math.OC]

Xavier Allamigeon  : Connect in order to contact the contributor

https://hal.inria.fr/hal-01673390

Submitted on : Friday, December 29, 2017-2:28:44 PM

Last modification on : Wednesday, March 15, 2023-8:56:16 AM

Consult the full text

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

X CNRS INRIA INSMI X-CMAP X-DEP-MATHA CMAP INRIA2 TDS-MACS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
129 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More