M. Alonso, E. Becker, M. Roy, and T. Wörmann, Zeros, multiplicities, and idempotents for zero-dimensional systems, Algorithms in algebraic Geometry and Applications, pp.1-20, 1996.
DOI : 10.1007/978-3-0348-9104-2_1

S. Basu, R. Pollack, and M. F. Roy, Algorithms in Real Algebraic Geometry, Algorithms and Computation in Mathematics, vol.10, 2003.
DOI : 10.1007/978-3-662-05355-3
URL : https://hal.archives-ouvertes.fr/hal-01083587

E. Becker and T. Wörmann, Radical computations of zero-dimensional ideals and real root counting, Mathematics and Computers in Simulation, vol.42, issue.4-6, pp.4-6561, 1996.
DOI : 10.1016/S0378-4754(96)00033-X

E. Berberich, M. Kerber, and M. Sagraloff, Exact geometric-topological analysis of algebraic surfaces, Proceedings of the twenty-fourth annual symposium on Computational geometry , SCG '08, pp.164-173, 2008.
DOI : 10.1145/1377676.1377703

F. Boulier, C. Chen, F. Lemaire, and M. M. Maza, Real Root Isolation of Regular Chains, ASCM, vol.2009, pp.1-15, 2009.
DOI : 10.1007/978-3-662-43799-5_4
URL : https://hal.archives-ouvertes.fr/hal-00825036

J. S. Cheng, X. S. Gao, and J. Li, Root isolation for bivariate polynomial systems with local generic position method, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, ISSAC '09, pp.103-110, 2009.
DOI : 10.1145/1576702.1576719

J. S. Cheng, X. S. Gao, and L. Guo, Root isolation of zero-dimensional polynomial systems with linear univariate representation, Journal of Symbolic Computation, vol.47, issue.7, 2011.
DOI : 10.1016/j.jsc.2011.12.011

J. S. Cheng, X. S. Gao, and M. Li, Determining the Topology of Real Algebraic Surfaces, Mathematics of Surfaces XI, pp.121-146, 2005.
DOI : 10.1007/11537908_8

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

G. E. Collins, J. R. Johnson, and W. Krandick, Interval Arithmetic in Cylindrical Algebraic Decomposition, Journal of Symbolic Computation, vol.34, issue.2, pp.145-157, 2002.
DOI : 10.1006/jsco.2002.0547

D. I. Diochnos, I. Z. Emiris, and E. P. Tsigaridas, On the asymptotic and practical complexity of solving bivariate systems over the reals, Journal of Symbolic Computation, vol.44, issue.7, pp.818-835, 2009.
DOI : 10.1016/j.jsc.2008.04.009

A. Eigenwillig, L. Kettner, W. Krandick, K. Mehlhorn, S. Schmitt et al., A Descartes Algorithm for Polynomials with Bit-Stream Coefficients, CASC 2005, pp.138-187, 2005.
DOI : 10.1007/11555964_12

I. Z. Emiris, B. Mourrain, and E. P. Tsigaridas, Real Algebraic Numbers: Complexity Analysis and Experimentation, LNCS, vol.5045, pp.57-82, 2008.
DOI : 10.1007/978-3-540-85521-7_4

I. Z. Emiris, B. Mourrain, and E. P. Tsigaridas, The DMM bound, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.243-250, 2010.
DOI : 10.1145/1837934.1837981
URL : https://hal.archives-ouvertes.fr/inria-00393833

W. Fulton, Introduction to intersection theory in algebraic geometry, CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, 1984.
DOI : 10.1090/cbms/054

X. S. Gao and S. C. Chou, On the theory of resolvents and its applications, Mathematics and Systems Science, 1997.

H. Hong, An efficient method for analyzing the topology of plane real algebraic curves, Mathematics and Computers in Simulation, vol.42, issue.4-6, pp.571-582, 1996.
DOI : 10.1016/S0378-4754(96)00034-1

H. Hong and V. Stahl, Startintervalle mit garantierter Konvergenz durch Fixpunktiteration und Einengung, Computing, vol.22, issue.Suppl., pp.323-335, 1994.
DOI : 10.1007/BF02307383

Z. Lu, B. He, Y. Luo, and L. Pan, An Algorithm of Real Root Isolation for Polynomial Systems, 2005.

R. Rioboo, Computation of the real closure of an ordered field, 1992.

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
URL : https://hal.archives-ouvertes.fr/inria-00073264

M. Sagraloff, When Newton meets Descartes, Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, ISSAC '12, 1109.
DOI : 10.1145/2442829.2442872

B. Xia and T. Zhang, Real solution isolation using interval arithmetic, Computers & Mathematics with Applications, vol.52, issue.6-7, pp.853-860, 2006.
DOI : 10.1016/j.camwa.2006.06.003
URL : http://doi.org/10.1016/j.camwa.2006.06.003

C. Yap, Fundamental Problems of Algorithmic Algebra, 2000.

C. Yap and M. Sagraloff, A simple but exact and efficient algorithm for complex root isolation, Proceedings of the 36th international symposium on Symbolic and algebraic computation, ISSAC '11, pp.353-360
DOI : 10.1145/1993886.1993938

Z. H. Zhang, T. Fang, and B. C. 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/s11432-010-4154-y