V. Magron, X. Allamigeon, S. Gaubert, and B. Werner, “Formal Proofs for Nonlinear Optimization”, JFR, vol. 8, no. 1, pp. 1–24, Jan. 2015.