Magron, Victor, Xavier Allamigeon, Stéphane Gaubert, and Benjamin Werner. 2015. “Formal Proofs for Nonlinear Optimization”. Journal of Formalized Reasoning 8 (1):1-24. https://doi.org/10.6092/issn.1972-5787/4319.