Introduction to numerical analysis, 2001. ,
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. ,
Methods for solving systems of nonlinear equations, SIAM, vol.70, 1998. ,
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
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
, ser. Undergraduate Texts in Mathematics, 2007.
Algorithms in Real Algebraic Geometry, ser. Algorithms and Computation in Mathematics, vol.10, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-01083587
The DMM bound: Multivariate (aggregate) separation bounds, pp.243-250, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00393833
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
Gröbner bases : An Algorithmic Method in Polynomial Ideal Theory, ser. Recent Trends in Multidimensional Systems Theory, 1985. ,
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. ,
A pure power product version of the hilbert nullstellensatz, The Michigan Mathematical Journal, vol.45, issue.3, pp.581-597, 1998. ,
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
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
Multivariable Nyquist theory, International Journal of Control, vol.25, issue.5, pp.657-675, 1977. ,
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. ,
Stability and stabilisation of linear multidimensional discrete systems in the frequency domain, International Journal of Control, vol.86, issue.11, pp.1969-1989, 2013. ,
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
Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Springer Lecture Notes in Computer Science, vol.33, pp.515-532, 1975. ,
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
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. ,