A. Neumaier, Introduction to numerical analysis, 2001.

G. E. Collins and A. G. Akritas, Polynomial real root isolation using descarte's rule of signs, Proceedings of the third ACM symposium on Symbolic and algebraic computation, pp.272-275, 1976.

W. C. Rheinboldt, Methods for solving systems of nonlinear equations, SIAM, vol.70, 1998.

B. Mourrain and J. Pavone, Subdivision methods for solving polynomial equations, J. Symb. Comput, vol.44, issue.3, pp.292-306, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00070350

Y. Bouzidi, A. Quadrat, and F. Rouillier, Computer algebra methods for testing the structural stability of multidimensional systems, Multidimensional (nD) Systems (nDS), pp.1-6, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01259968

D. Cox, J. Little, and D. O'shea, ser. Undergraduate Texts in Mathematics, 2007.

S. Basu, R. Pollack, and M. Roy, Algorithms in Real Algebraic Geometry, ser. Algorithms and Computation in Mathematics, vol.10, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01083587

I. Z. Emiris, B. Mourrain, and E. P. Tsigaridas, The DMM bound: Multivariate (aggregate) separation bounds, pp.243-250, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00393833

F. Rouillier and P. Zimmermann, Efficient isolation of polynomial real roots, J. of Computational and Applied Mathematics, vol.162, issue.1, pp.33-50, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00072518

B. Buchberger, Gröbner bases : An Algorithmic Method in Polynomial Ideal Theory, ser. Recent Trends in Multidimensional Systems Theory, 1985.

J. Faugère, A new efficient algorithm for computing Gröbner bases (F 4 ), J. of Pure and Applied Algebra, vol.139, issue.1-3, pp.61-88, 1999.

W. D. Brownawell, A pure power product version of the hilbert nullstellensatz, The Michigan Mathematical Journal, vol.45, issue.3, pp.581-597, 1998.

F. Rouillier, Solving zero-dimensional systems through the rational univariate representation, J. of Applicable Algebra in Engineering, Communication and Computing, vol.9, issue.5, pp.433-461, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00073264

N. Revol and F. Rouillier, Motivations for an arbitrary precision interval arithmetic and the mpfi library, Reliable Computing, vol.11, pp.1-16, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00100985

R. A. Decarlo, J. Murray, and R. Saeks, Multivariable Nyquist theory, International Journal of Control, vol.25, issue.5, pp.657-675, 1977.

Y. Bistritz, Zero location with respect to the unit circle of discrete-time linear system polynomials, Proceedings of the IEEE, vol.72, issue.9, pp.1131-1142, 1984.

L. Li, L. Xu, and Z. Lin, Stability and stabilisation of linear multidimensional discrete systems in the frequency domain, International Journal of Control, vol.86, issue.11, pp.1969-1989, 2013.

Y. Bouzidi and F. Rouillier, Certified algorithms for proving the structural stability of two dimensional systems possibly with parameters, MNTS 2016-22nd International Symposium on Mathematical Theory of Networks and Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01366202

G. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Springer Lecture Notes in Computer Science, vol.33, pp.515-532, 1975.

P. Aubry, F. Rouillier, and M. S. Din, Real solving for positive dimensional systems, Journal of Symbolic Computation, vol.34, issue.6, pp.543-560, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00072654

, RAGLIB: A library for real solving polynomial systems of equations and inequalities

M. Safey-el-din-andé and . Schost, Polar varieties and computation of one point in each connected component of a smooth real algebraic set, Proceedings of ISSAC 2003, pp.224-231, 2003.