, LIX, Ecole Polytechnique, CNRS, Palaiseau, France

• Journal of Formalized Reasoning Vol. 8 No. 1 (2015) - Articles
  Formal Proofs for Nonlinear Optimization
  Abstract  PDF