Magron, V.; Allamigeon, X.; Gaubert, S.; Werner, B. Formal Proofs for Nonlinear Optimization. JFR 2015, 8, 1-24.