First steps in the formalization of convex polyhedra in Coq - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

First steps in the formalization of convex polyhedra in Coq

Xavier Allamigeon (1)
Xavier Allamigeon
TROPICAL

Domaines

Logique en informatique [cs.LO] Combinatoire [math.CO]

Xavier Allamigeon  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01967576

Soumis le : lundi 31 décembre 2018-17:53:06

Dernière modification le : samedi 16 novembre 2024-12:16:02

Fichier non déposé

Dates et versions

hal-01967576 , version 1 (31-12-2018)

Identifiants

  • HAL Id : hal-01967576 , version 1

Citer

Xavier Allamigeon. First steps in the formalization of convex polyhedra in Coq. International Congress on Mathematical Software, Jul 2018, South Bend, United States. ⟨hal-01967576⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More