Y. Bouzidi, A. Quadrat, and F. Rouillier, Computer algebra methods for testing the structural stability of multidimensional systems, 2015 IEEE 9th International Workshop on Multidimensional (nD) Systems (nDS), pp.163-169, 1987.
DOI : 10.1109/NDS.2015.7332633
URL : https://hal.archives-ouvertes.fr/hal-01259968

Y. Bistritz, An immittance-type stability test for 2-D digital filters, Proceedings of 1994 28th Asilomar Conference on Signals, Systems and Computers, pp.918-922, 1994.
DOI : 10.1109/ACSSC.1994.471594

X. Hu and E. Jury, On two-dimensional filter stability test Circuits and Systems II: Analog and Digital Signal Processing, IEEE Transactions on, vol.41, issue.7, pp.457-462, 1994.

Y. Bistritz, Testing stability of 2-D discrete systems by a set of real 1-D stability tests Circuits and Systems I: Regular Papers, IEEE Transactions on, vol.51, issue.7, pp.1312-1320, 2004.

L. Xu, M. Yamada, Z. Lin, O. Saito, and Y. Anazawa, Further improvements on Bose's 2-D stability test, International Journal of Control Automation and Systems, vol.2, pp.319-332, 2004.

P. Fu, J. Chen, and S. Niculescu, Author???s reply to ???A counterexample to Generalized eigenvalue-based stability tests for 2-D linear systems: Necessary and sufficient conditions???, Automatica, vol.46, issue.1, pp.236-237, 2010.
DOI : 10.1016/j.automatica.2009.10.003

S. Basu, R. Pollack, and M. Roy, Algorithms in Real Algebraic Geometry, ser. Algorithms and Computation in Mathematics, 2006.

B. Dumitrescu, Stability test of multidimensional discrete-time systems via sum-of-squares decomposition Circuits and Systems I: Regular Papers, IEEE Transactions on, vol.53, issue.4, pp.928-936, 2006.

L. Li, L. Xu, and Z. Lin, Stability and stabilisation of linear multidimensional discrete systems in the frequency domain, International Journal of Control, vol.6, issue.11, pp.1969-1989, 2013.
DOI : 10.1109/TCS.1984.1085545

R. A. Decarlo, J. Murray, and R. Saeks, Multivariable Nyquist theory, International Journal of Control, vol.20, issue.5, pp.657-675, 1977.
DOI : 10.1109/TCS.1975.1083979

E. I. Jury, Theory and Application of the z-Transform Method, 1964.

Y. Bouzidi, S. Lazard, M. Pouget, and F. Rouillier, Separating linear forms and Rational Univariate Representations of bivariate systems, Journal of Symbolic Computation, vol.68, pp.84-119, 2015.
DOI : 10.1016/j.jsc.2014.08.009
URL : https://hal.archives-ouvertes.fr/hal-00977671

D. Cox, J. Little, and D. Shea, Ideals, Varieties, and Algorithms, ser. Undergraduate Texts in Mathematics, 2007.

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

D. N. Daouda, B. Mourrain, and O. Ruatta, On the computation of the topology of a non-reduced implicit space curve, Proceedings of the twenty-first international symposium on Symbolic and algebraic computation, ISSAC '08, pp.47-54, 2008.
DOI : 10.1145/1390768.1390778

D. Lazard and F. Rouillier, Solving parametric polynomial systems, Journal of Symbolic Computation, vol.42, issue.6, pp.636-667, 2007.
DOI : 10.1016/j.jsc.2007.01.007
URL : https://hal.archives-ouvertes.fr/hal-01148721

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

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

F. Rouillier and P. Zimmermann, Efficient isolation of polynomial's real roots, Journal of Computational and Applied Mathematics, vol.162, issue.1, pp.33-50, 2003.
DOI : 10.1016/j.cam.2003.08.015

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.2, issue.3, pp.1-16, 2005.
DOI : 10.1007/s11155-005-6891-y
URL : https://hal.archives-ouvertes.fr/inria-00544998

Y. Bouzidi, Solving bivariate algebraic systems and topology of plane curves, 2014.
URL : https://hal.archives-ouvertes.fr/tel-00979707

T. Becker and V. Weispfenning, Gröbner bases: a computational approach to commutative algebra, ser. Graduate Texts in Mathematics: readings in mathematics, 1993.

D. Cox, J. Little, and D. Shea, Ideals, varieties, and algorithms an introduction to computational algebraic geometry and commutative algebra, ser. Undergraduate texts in mathematics, 1992.