Communication Dans Un Congrès
Année : 2017
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 : samedi 16 novembre 2024-12:16:02
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⟩
Collections
154
Consultations
0
Téléchargements