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 : vendredi 27 octobre 2023-16:14:06
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
141
Consultations
0
Téléchargements