[4] Victor Magron, Xavier Allamigeon, Stéphane Gaubert, and Benjamin Werner. Formal proofs for Nonlinear Optimization. Journal of Formalized Reasoning, 8(1):1-24, 2015. [ bib | arxiv ]
[3] Victor Magron, Xavier Allamigeon, Stéphane Gaubert, and Benjamin Werner. Certification of real inequalities: templates and sums of squares. Mathematical Programming, 151(2):477-506, 2015. [ bib | arxiv | web ]
[2] Victor Magron. Error bounds for polynomial optimization over the hypercube using Putinar type representations. Optimization Letters, 8(7):1-9, 2014. [ bib | arxiv | web ]
[1] Victor Magron, Didier Henrion, and Jean-Bernard Lasserre. Approximating Pareto curves using semidefinite relaxations. Operations Research Letters, 42(6–7):432 - 437, 2014. [ bib | arxiv | ParetoSDP | web ]