M. Bucero and B. Mourrain, Exact relaxation for polynomial optimization on semi-algebraic sets, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00846977

M. Bucero and B. Mourrain, Border basis relaxation for polynomial optimization, Journal of Symbolic Computation, vol.74, pp.378-399, 2015.
DOI : 10.1016/j.jsc.2015.08.004
URL : https://hal.archives-ouvertes.fr/hal-00981546

W. Bosma, J. Cannon, and C. Playoust, The Magma Algebra System I: The User Language, Journal of Symbolic Computation, vol.24, issue.3-4, pp.3-4235, 1997.
DOI : 10.1006/jsco.1996.0125

R. M. Corless, P. M. Gianni, and B. M. Trager, A reordered Schur factorization method for zero-dimensional polynomial systems with multiple roots, Proceedings of the 1997 international symposium on Symbolic and algebraic computation , ISSAC '97, pp.133-140, 1997.
DOI : 10.1145/258726.258767

W. Decker, G. Greuel, G. Pfister, and H. Schönemann, Singular 4-0-2 ? A computer algebra system for polynomial computations, 2015.

J. W. Demmel, S. C. Eisenstat, J. R. Gilbert, J. W. Liu, and X. S. Li, A Supernodal Approach to Sparse Partial Pivoting, SIAM Journal on Matrix Analysis and Applications, vol.20, issue.3, pp.720-755, 1999.
DOI : 10.1137/S0895479895291765

J. Faugère, FGb: A Library for Computing Gr??bner Bases, ICMS, pp.84-87, 2010.
DOI : 10.1007/978-3-642-15582-6_17

C. A. Floudas, P. M. Pardalos, C. S. Adjiman, W. R. Esposito, Z. H. Gumus et al., Handbook of Test Problems in Local and Global Optimization, 1999.
DOI : 10.1007/978-1-4757-3040-1

S. Graillat, . Ph, and . Trébuchet, A new algorithm for computing certified numerical approximations of the roots of a zero-dimensional system, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, ISSAC '09, pp.167-173, 2009.
DOI : 10.1145/1576702.1576727
URL : https://hal.archives-ouvertes.fr/hal-01294713

L. Huot, Polynomial systems solving and elliptic curve cryptography, p.2013
URL : https://hal.archives-ouvertes.fr/tel-00925271

J. Lasserre, Moments, positive polynomials and their applications, 2009.
DOI : 10.1142/p665

J. Lasserre, M. Laurent, B. Mourrain, P. Rostalski, and P. Trébuchet, Moment matrices, border bases and real radical computation, Journal of Symbolic Computation, vol.51, 2012.
DOI : 10.1016/j.jsc.2012.03.007
URL : https://hal.archives-ouvertes.fr/hal-00651759

J. B. Lasserre, Global Optimization with Polynomials and the Problem of Moments, SIAM Journal on Optimization, vol.11, issue.3, pp.796-817, 2001.
DOI : 10.1137/S1052623400366802

B. Mourrain and P. Trébuchet, Generalized normal forms and polynomial system solving, Proceedings of the 2005 international symposium on Symbolic and algebraic computation , ISSAC '05, pp.253-260, 2005.
DOI : 10.1145/1073884.1073920
URL : https://hal.archives-ouvertes.fr/inria-00070537

B. Mourrain, . Ph, and . Trébuchet, Border basis representation of a general quotient algebra, Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC '12, pp.265-272, 2012.
DOI : 10.1145/2442829.2442868
URL : https://hal.archives-ouvertes.fr/hal-00709962

M. Aps, The MOSEK optimization library. www.mosek.com, 2015.

G. Ottaviani, P. Spaenlehauer, and B. Sturmfels, Exact Solutions in Structured Low-Rank Approximation, SIAM Journal on Matrix Analysis and Applications, vol.35, issue.4, pp.1521-1542, 2014.
DOI : 10.1137/13094520X
URL : https://hal.archives-ouvertes.fr/hal-00953702

B. Parisse, Giac/XCas, a free computer algebra system, 2008.

. Ph and . Trébuchet, A new certified numerical algorithm for solving polynomial systems, SCAN2010, pp.1-8, 2010.