Magron, Victor, Xavier Allamigeon, Stéphane Gaubert, and Benjamin Werner. “Formal Proofs for Nonlinear Optimization”. Journal of Formalized Reasoning 8, no. 1 (January 1, 2015): 1–24. Accessed June 21, 2024. https://jfr.unibo.it/article/view/4319.