TY  - RPRT
TI  - Formal Proofs for Nonlinear Optimization
AU  - Victor Magron
AU  - Xavier Allamigeon
AU  - Stéphane Gaubert
AU  - Benjamin Werner
PY  - 2015
UR  - https://arxiv.org/abs/1404.7282
ID  - 1404.7282
ER  -