|
|
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon
,
Ricardo Katz
,
Pierre-Yves Strub
Journal articles
hal-03915661v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formal Proofs for Global Optimization -- Templates and Sums of Squares
Victor Magron
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses
pastel-00917779v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon
,
Ricardo Katz
,
Pierre-Yves Strub
Book sections
hal-03151656v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Formalization of Convex Polyhedra Based on the Simplex Method
Xavier Allamigeon
,
Ricardo David Katz
Journal articles
hal-01967575v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formalizing the Face Lattice of Polyhedra
Xavier Allamigeon
,
Ricardo D. Katz
,
Pierre-Yves Strub
2021
Preprints, Working Papers, ...
hal-03505724v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Certification of Bounds of Non-linear Functions: the Templates Method
Xavier Allamigeon
,
Stéphane Gaubert
,
Victor Magron
,
Benjamin Werner
Conference papers
hal-00932333v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
A Formalization of Convex Polyhedra Based on the Simplex Method
Xavier Allamigeon
,
Ricardo D. Katz
Interactive Theorem Proving, Sep 2017, Brasília, Brazil
Conference papers
hal-01673390v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
First steps in the formalization of convex polyhedra in Coq
Xavier Allamigeon
International Congress on Mathematical Software, Jul 2018, South Bend, United States
Conference papers
hal-01967576v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Formal Proofs for Nonlinear Optimization
Victor Magron
,
Xavier Allamigeon
,
Stéphane Gaubert
,
Benjamin Werner
Journal of Formalized Reasoning, 2015, 8 (15), pp.1-24
Journal articles
hal-00985675v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|