Skip to Main content Skip to Navigation
Conference papers

A Formalization of Convex Polyhedra Based on the Simplex Method

Xavier Allamigeon 1 Ricardo D. Katz 2
1 TROPICAL - TROPICAL
CMAP - Centre de Mathématiques Appliquées - Ecole Polytechnique, Inria Saclay - Ile de France
Complete list of metadata

https://hal.inria.fr/hal-01673390
Contributor : Xavier Allamigeon <>
Submitted on : Friday, December 29, 2017 - 2:28:44 PM
Last modification on : Saturday, May 1, 2021 - 3:13:37 AM

Links full text

Identifiers

  • HAL Id : hal-01673390, version 1
  • ARXIV : 1706.10269

Citation

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⟩

Share

Metrics