A Formalization of Convex Polyhedra Based on the Simplex Method - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

A Formalization of Convex Polyhedra Based on the Simplex Method

Xavier Allamigeon
TROPICAL
Ricardo D. Katz
  • Fonction : Auteur
Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas

Domaines

Logique en informatique [cs.LO] Combinatoire [math.CO] Optimisation et contrôle [math.OC]

Xavier Allamigeon  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 29 décembre 2017-14:28:44

Dernière modification le : jeudi 18 avril 2024-16:14:58

Consulter le texte intégral

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA X-CMAP X-DEP-MATHA CMAP INRIA2 TDS-MACS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
141 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More