&. Simplify,

&. Submatrix,

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

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

Y. Bouzidi and F. Rouillier, Certified Algorithms for proving the structural stability of two-dimensional systems possibly with parameters, Proceedings of the 22nd International Symposium on Mathematical Theory of Networks and Systems (MTNS'16)
URL : https://hal.archives-ouvertes.fr/hal-01366202

Y. Bouzidi, A. Quadrat, and F. Rouillier, Certified non-conservative tests for the structural stability of discrete multidimensional systems, Multidimensional Systems and Signal Processing, vol.30, issue.3, pp.1205-1235, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01951765

Y. Bouzidi, T. Cluzeau, G. Moroz, and A. Quadrat, Computing effectively stabilizing controllers for a class of nD systems, Proceedings of IFAC 2017 Workshop Congress, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01667161

Y. Bouzidi, T. Cluzeau, and A. Quadrat, On the computation of stabilizing controllers of multidimensional systems, Proceedings of Joint IFAC Conference 7th SSSC 2019 and 15th TDS 2019, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02419696

D. Bridges, R. Mines, F. Richman, and P. Schuster, The Polydisk Nullstellensatz, Proceedings of the American Mathematical Society, vol.132, issue.7, pp.2133-2140, 2004.

F. Chyzak, A. Quadrat, and D. Robertz, Effective algorithms for parametrizing linear control systems over Ore algebras, Appl. Algebra Engrg. Comm. Comput, vol.16, pp.319-376, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00071407

F. Chyzak, A. Quadrat, and D. Robertz, OreModules: A symbolic package for the study of multidimensional linear systems, Applications of Time Delay Systems, Lecture Notes in Control and Information Sciences, vol.352, pp.233-264, 2007.

R. F. Curtain and H. J. Zwart, An Introduction to Infinite-Dimensional Linear Systems Theory, AM, vol.21, 1991.

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

C. A. Desoer, R. W. Liu, J. Murray, and R. Saeks, Feedback system design: the fractional representation approach to analysis and synthesis, IEEE Trans. Automat. Control, vol.25, pp.399-412, 1980.

D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, vol.150, 1995.

X. Li, O. Saito, and K. Abe, Output feedback stabilizability and stabilization algorithms for 2D Systems. Multidimensional Systems and Signal Processing, vol.5, pp.41-60, 1994.

L. Li 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.

Z. Lin, Output feedback stabilizability and stabilization of linear nD systems, Multidimensional Signals, Circuits and Systems, pp.59-76

Z. Lin, J. Lam, K. Galkowski, and S. Xu, A constructive approach to stabilizability and stabilization of a class of nD systems, Multidimensional Systems and Signal Processing, vol.12, pp.329-343, 2001.

Z. Lin, Feedback stabilizability of MIMO nD linear systems, Multidimensional Systems and Signal Processing, vol.9, pp.149-172, 1998.

Z. Lin, Feedback stabilization of MIMO nD linear systems, IEEE Transactions on Automatic Control, vol.45, pp.2419-2424, 2000.

A. Quadrat, The fractional representation approach to synthesis problems: An algebraic analysis viewpoint. Part I: (weakly) doubly coprime factorizations, SIAM J. Control & Optimization, vol.42, pp.266-299, 2003.

A. Quadrat, The fractional representation approach to synthesis problems: An algebraic analysis viewpoint. Part II: internal stabilization, SIAM J. Control & Optimization, vol.42, pp.300-320, 2003.

A. Quadrat, An introduction to constructive algebraic analysis and its applications, Journées Nationales de Calcul Formel, vol.1, pp.281-471, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00506104

J. J. Rotman, An Introduction to Homological Algebra, 2009.

F. Rouillier, Solving zero-dimensional systems through the Rational Univariate Representation, vol.9, pp.433-461, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00073264

F. Rouillier, Algorithmes pour l'étude des solutions réelles des systèmes polynomiaux. Habilitation, University of Paris 6, 2007.

M. Strintzis, Tests of stability of multidimensional filters, IEEE Transactions on Circuits and Systems, vol.24, pp.432-437, 1977.

M. Vidyasagar, Control System Synthesis: A Factorization Approach, 1985.