P. Aubry, D. Lazard, and M. M. Maza, On the Theories of Triangular Sets, Journal of Symbolic Computation, vol.28, issue.1-2, pp.105-124, 1999.
DOI : 10.1006/jsco.1999.0269

URL : https://hal.archives-ouvertes.fr/hal-01148870

D. J. Bates, J. D. Hauenstein, A. J. Sommese, and C. W. Wampler, Bertini: Software for numerical algebraic geometry

C. Beltrn and A. Leykin, Certified Numerical Homotopy Tracking, Experimental Mathematics, vol.133, issue.27, pp.69-83, 2012.
DOI : 10.1088/0305-4470/27/12/028

R. Becker, M. Sagraloff, V. Sharma, J. Xu, and C. Yap, Complexity Analysis of Root Clustering for a Complex Polynomial, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '16, pp.71-78, 2016.
DOI : 10.1007/978-3-642-03456-5_26

R. Becker, M. Sagraloff, V. Sharma, and C. Yap, A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration, Journal of Symbolic Computation, vol.86, 2017.
DOI : 10.1016/j.jsc.2017.03.009

J. Cheng, X. Gao, and C. Yap, Complete numerical isolation of real roots in zero-dimensional triangular systems, Journal of Symbolic Computation, vol.44, issue.7, pp.768-785, 2009.
DOI : 10.1016/j.jsc.2008.04.017

H. Barry, Z. Dayton, and . Zeng, Computing the multiplicity structure in solving polynomial systems, Proceedings of the 2005 international symposium on Symbolic and algebraic computation, pp.116-123, 2005.

A. Kobel, F. Rouillier, and M. Sagraloff, Computing Real Roots of Real Polynomials ... and now For Real!, Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '16, pp.303-310, 2016.
DOI : 10.1145/1993886.1993938

URL : https://hal.archives-ouvertes.fr/hal-01363955

P. Lairez, A Deterministic Algorithm to Compute Approximate Roots of Polynomial Systems in Polynomial Average Time, Foundations of Computational Mathematics, vol.17, issue.5, pp.1265-1292, 2017.
DOI : 10.1007/s00211-010-0334-3

URL : https://hal.archives-ouvertes.fr/hal-01178588

F. Rouillier, Solving zero-dimensional systems through the rational univariate representation Applicable Algebra in Engineering, Communication and Computing, vol.9, issue.5, pp.433-461, 1999.
DOI : 10.1007/s002000050114

[. Charles and W. Wampler, The Numerical solution of systems of polynomials arising in engineering and science, World Scientific, 2005.

Z. Zhang, T. Fang, and B. Xia, Real solution isolation with multiplicity of zero-dimensional triangular systems, Science China Information Sciences, vol.41, issue.1, pp.60-69, 2011.
DOI : 10.1007/978-0-585-33247-5_8

URL : http://arxiv.org/pdf/0906.3065