Search - Département de mathématiques appliquées Access content directly

Filter your results

9 Results
Domains : info.info-lo

Formalizing the Face Lattice of Polyhedra

Xavier Allamigeon , Ricardo Katz , Pierre-Yves Strub
Logical Methods in Computer Science, 2022, Volume 18, Issue 2, ⟨10.46298/lmcs-18(2:10)2022⟩
Journal articles hal-03915661v1
Image document

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

Formalizing the Face Lattice of Polyhedra

Xavier Allamigeon , Ricardo Katz , Pierre-Yves Strub
Automated Reasoning. IJCAR 2020, pp.185-203, 2020, ⟨10.1007/978-3-030-51054-1_11⟩
Book sections hal-03151656v1

A Formalization of Convex Polyhedra Based on the Simplex Method

Xavier Allamigeon , Ricardo David Katz
Journal of Automated Reasoning, 2019, 63 (2), pp.323-345. ⟨10.1007/s10817-018-9477-1⟩
Journal articles hal-01967575v1

Formalizing the Face Lattice of Polyhedra

Xavier Allamigeon , Ricardo D. Katz , Pierre-Yves Strub
2021
Preprints, Working Papers, ... hal-03505724v1

Certification of Bounds of Non-linear Functions: the Templates Method

Xavier Allamigeon , Stéphane Gaubert , Victor Magron , Benjamin Werner
Conferences on Intelligent Computer Mathematics (CICM 2013), Jul 2013, Bath, United Kingdom. pp.51-65, ⟨10.1007/978-3-642-39320-4_4⟩
Conference papers hal-00932333v1

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

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

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