M. Auslander and M. Bridger, Stable Module Theory, volume 94 of Memoirs of the, 1969.

M. Barakat, Spectral filtrations via generalized morphisms, p.240, 2009.

M. Barakat, Purity filtration and the fine structure of autonomy, 19 th International Symposium on Mathematical Theory of Networks and Systems (MTNS), 2010.

M. Barakat and B. Bremer, Higher extension modules and the Yoneda product, ArXiv, 2008.

M. Barakat and M. Lange-hegermann, The Sheaves package ? A homalg based package for the Abelian category of coherent sheaves over a projective scheme, 2008.

M. Barakat and M. Lange-hegermann, AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION, Journal of Algebra and Its Applications, vol.10, issue.02, pp.269-293, 1943.
DOI : 10.1142/S0219498811004562

M. Barakat and A. Quadrat, The AbelianSystems project, 2011. A homalg package (GAP4), in development

M. Barakat and D. Robertz, homalg ??? A META-PACKAGE FOR HOMOLOGICAL ALGEBRA, Journal of Algebra and Its Applications, vol.07, issue.03, pp.299-317, 2008.
DOI : 10.1142/S0219498808002813

J. E. Björk, Rings of Differential Operators, 1979.

J. E. Björk, Analytic D-modules and Applications, 1993.
DOI : 10.1007/978-94-017-0717-6

A. Borel, Algebraic D-modules, Perspectives in Mathematics, vol.2, 1987.

B. Buchberger, Bruno Buchberger???s PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal, Journal of Symbolic Computation, vol.41, issue.3-4, pp.475-511, 2006.
DOI : 10.1016/j.jsc.2005.09.007

F. Chyzak, A. Quadrat, and D. Robertz, Effective algorithms for parametrizing linear control systems over Ore algebras, Applicable Algebra in Engineering, Communication and Computing, vol.16, issue.5, pp.319-376, 2005.
DOI : 10.1007/s00200-005-0188-6

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, pp.233-264, 2007.
DOI : 10.1007/978-3-540-49556-7_15

T. Cluzeau and A. Quadrat, Factoring and decomposing a class of linear functional systems, Linear Algebra and its Applications, vol.428, issue.1, pp.324-381, 2008.
DOI : 10.1016/j.laa.2007.07.008

URL : https://hal.archives-ouvertes.fr/hal-00320424

T. Cluzeau and A. Quadrat, OreMorphisms: A Homological Algebraic Package for Factoring, Reducing and Decomposing Linear Functional Systems, Topics in Time-Delay Systems: Analysis, Algorithms and Control, pp.179-196, 2009.
DOI : 10.1007/978-3-642-02897-7_16

T. Cluzeau and A. Quadrat, A constructive version of Fitting's theorem on isomorphisms and equivalences of linear systems, The 2011 International Workshop on Multidimensional (nD) Systems, 2011.
DOI : 10.1109/nDS.2011.6076860

R. Courant and D. Hilbert, Methods of Mathematical Physics, 1989.

D. Eisenbud, C. Huneke, and W. Vasconcelos, Direct methods for primary decomposition, Inventiones Mathematicae, vol.106, issue.1, pp.207-235, 1992.
DOI : 10.1007/BF01231331

A. Fabia´nskafabia´nska and A. Quadrat, Applications of the Quillen-Suslin theorem to multidimensional systems theory, Gröbner Bases in Control Theory and Signal Processing, pp.23-106

G. Walter-de, The QuillenSuslin project: http://wwwb.math.rwth-aachen, 2007.

G. The and . Group, GAP ? Groups, Algorithms, and Programming, Version 4, 2008.

V. Ginsburg, Characteristic varieties and vanishing cycles, Inventiones Mathematicae, vol.1016, issue.102, pp.327-402, 1986.
DOI : 10.1007/BF01388811

M. Gromov, Differential Partial Relations, 1986.
DOI : 10.1007/978-3-662-02267-2

R. Hartshorne, Residue and Duality, Lectures Notes in Math, vol.20, 1966.
DOI : 10.1007/BFb0080482

M. Janet, Sur les systèmes aux dérivées partielles comprenant autant d'´ equations que de fonctions inconnues, C. R. Acad. Sci. Paris, vol.172, pp.1637-1639, 1921.

M. Janet, Leçons sur les systèmes d'´ equations aux dérivées partielles, Cahiers scientifiques IV. Gauthier-Villars, 1929.

J. Johnson, Systems of n Partial Differential Equations in n Unknown Functions: the Conjecture of M. Janet, Transactions of the American Mathematical Society, vol.242, pp.329-334, 1978.
DOI : 10.2307/1997742

M. Kashiwara, B-functions and holonomic systems, Inventiones Mathematicae, vol.100, issue.4, pp.33-53, 1976.
DOI : 10.1007/BF01390168

M. Kashiwara, Algebraic Study of Systems of Partial Differential Equations, 1970.

V. Levandovskyy, Non-commutative Computer Algebra for Polynomial Algebras: Gröbner Bases, Applications and Implementation, 2005.

T. Levasseur, Complexe bidualisant en algebre non commutative, Séminaire Dubreuil- Malliavin, pp.270-287, 1983.
DOI : 10.1016/0021-8693(69)90007-6

P. Maisonobe and C. Sabbah, D-modules cohérents et holonomes. Travaux en Cours 45, 1993.

B. Malgrange, Systèmes différentielsdifférentielsà coefficients constants. Séminaire Bourbaki, pp.1-11, 1962.

J. C. Mcconnell and J. C. Robson, Noncommutative Noetherian Rings, 2000.
DOI : 10.1090/gsm/030

U. Oberst, Multidimensional constant linear systems, Acta Applicandae Mathematicae, vol.26, issue.124, pp.1-175, 1990.
DOI : 10.1007/BF00046908

U. Oberst, The significance of Gabriel localization for stability and stabilization of multidimensional input/output behaviors, 19 th International Symposium on Mathematical Theory of Networks and Systems (MTNS), 2010.

J. Pommaret, Macaulay inverse systems revisited, Journal of Symbolic Computation, vol.46, issue.9, pp.1049-1069, 2011.
DOI : 10.1016/j.jsc.2011.05.007

URL : https://hal.archives-ouvertes.fr/hal-00361230

J. Pommaret and A. Quadrat, Algebraic analysis of linear multidimensional control systems, IMA Journal of Mathematical Control and Information, vol.16, issue.3, pp.275-297, 1999.
DOI : 10.1093/imamci/16.3.275

A. Quadrat, Extended Bézout identities, European Control conference (ECC'01), 2001.

A. Quadrat, Purity filtration of 2-dimensional linear systems, 19 th International Symposium on Mathematical Theory of Networks and Systems (MTNS), 2010.

A. Quadrat, Equidimensional triangularization of multidimensional linear systems, The 2011 International Workshop on Multidimensional (nD) Systems, 2011.
DOI : 10.1109/nDS.2011.6076862

URL : https://hal.archives-ouvertes.fr/hal-00760101

A. Quadrat, Purity filtration of multidimensional linear systems, The 2011 International Workshop on Multidimensional (nD) Systems, 2011.
DOI : 10.1109/nDS.2011.6076861

URL : https://hal.archives-ouvertes.fr/hal-00760129

A. Quadrat, The PurityFiltration project http://www-sop.inria.fr/members/ Alban, 2011.

A. Quadrat and D. Robertz, On the Baer extension problem for multidimensional linear systems, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00175272

A. Quadrat and D. Robertz, Baer's extension problem for multidimensional linear systems, 18 th International Symposium on Mathematical Theory of Networks and Systems (MTNS), 2008.

D. Robertz, Janet bases and applications, Gröbner Bases in Symbolic Analysis, pp.139-168

G. Walter-de, The JanetOre project, 2007.

J. Roos, Bidualité et structures des foncteurs dérivés de lim ? dans la catégorie des modules sur un anneau régulier, C. R. Acad. Sci. Paris, vol.254, pp.1556-1558, 1962.

J. J. Rotman, An Introduction to Homological Algebra, 2009.
DOI : 10.1007/b98977

D. C. Spencer, Overdetermined systems of linear partial differential equations, Bulletin of the American Mathematical Society, vol.75, issue.2, pp.179-239, 1969.
DOI : 10.1090/S0002-9904-1969-12129-4

J. T. Stafford, Non-holonomic modules over Weyl algebras and enveloping algebras, Inventiones Mathematicae, vol.48, issue.3, pp.619-638, 1984.
DOI : 10.1007/BF01388528

J. Wood, Modules and behaviours in nD systems theory. Multidimens, Systems Signal Process, vol.11, pp.11-48, 2000.

E. Zerz and V. Lomadze, A Constructive Solution to Interconnection and Decomposition Problems with Multidimensional Behaviors, SIAM Journal on Control and Optimization, vol.40, issue.4, pp.1072-1086, 2001.
DOI : 10.1137/S0363012900374749