, 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
, 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, 2011.
DOI : 10.1142/S0219498811004562
, Higher extension modules and the Yoneda product " , preprint arXiv:math.KT/0802, p.3179, 2008.
, Spectral filtrations via generalized morphisms, 2009.
, Rings of Differential Operators, p.44, 1979.
, Serre???s Reduction of Linear Functional Systems, Mathematics in Computer Science, vol.13, issue.1962/63, pp.289-312, 2010.
DOI : 10.1007/s11786-010-0057-y
, A note on the module structure of weyl algebras and simple noetherian rings, Communications in Algebra, vol.94, issue.3, pp.991-998, 1993.
DOI : 10.1016/0021-8693(78)90270-3
, On a Theorem of Stafford, Cadernos de Mathemática, vol.11, issue.6, pp.63-70, 2010.
, CYCLIC VECTORS, Differential Algebra and Related Topics, 2002.
DOI : 10.1142/9789812778437_0007
, 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
, OreModules: A symbolic package for the study of multidimensional linear systems " , in Applications of Time-Delay Systems, Lecture Notes in Control and Inform, pp.233-264, 2007.
, 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
, OreMorphisms: A homological algebraic package for factoring and decomposing linear functional systems , in Topics in Time-Delay Systems: Analysis, Algorithms and Control, Lecture Notes in Control and Inform, pp.179-196, 2009.
, Serre???s reduction of linear partial differential systems with holonomic adjoints, Journal of Symbolic Computation, vol.47, issue.10, pp.1192-1213, 2012.
DOI : 10.1016/j.jsc.2011.12.041
, A constructive version of Fitting's theorem on isomorphisms and equivalences of linear systems, The 2011 International Workshop on Multidimensional (nD) Systems, pp.56-58, 2011.
DOI : 10.1109/nDS.2011.6076860
, Generating non-Noetherian modules constructively, manuscripta mathematica, vol.164, issue.4, pp.513-520, 2004.
DOI : 10.1007/s00229-004-0509-2
, Module Structure of Rings of Differential Operators, Proceedings of the London Mathematical Society, vol.3, issue.3, pp.417-432, 1988.
DOI : 10.1112/plms/s3-57.3.417
, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, vol.150, p.46, 1995.
, Bases for projective modules in An(k), Journal of Symbolic Computation, vol.36, issue.6, pp.845-853, 2003.
DOI : 10.1016/S0747-7171(03)00063-4
, Towards an Effective Version of a Theorem of Stafford, Journal of Symbolic Computation, vol.32, issue.6, pp.699-716, 2001.
DOI : 10.1006/jsco.2001.0491
, Algebraic Study of Systems of Partial Differential Equations, Mémoires de la Société Mathématiques de France, 1970.
, Lectures on Modules and Rings, Graduate Texts in Mathematics, vol.189, issue.15, p.53, 1999.
DOI : 10.1007/978-1-4612-0525-8
, Algorithmic proofs of two theorems of Stafford, Journal of Symbolic Computation, vol.38, issue.6, pp.1535-1550, 2004.
DOI : 10.1016/j.jsc.2004.07.003
, Dmodules ? Algorithms for D-modules, Macaulay2 package
, Algèbre commutative, Calvage & Mounet, 2011.
, D-modules cohérents and holonomes, p.44, 1993.
, Systèmes différentielsdifférentielsà coefficients constants, Séminaire Bourbaki, vol.63, issue.7 8, pp.1-11, 1962.
, Partial Differential Control Theory, Mathematics and Its Applications, p.57, 2001.
DOI : 10.1007/978-94-010-0854-9
, 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
, An introduction to constructive algebraic analysis and its applications, Les cours du CIRM, vol.1, issue.2, pp.281-471, 2010.
DOI : 10.5802/ccirm.11
URL : https://hal.archives-ouvertes.fr/inria-00506104
, Grade Filtration of Linear Functional Systems, Acta Applicandae Mathematicae, vol.40, issue.3, p.56, 2013.
DOI : 10.1007/s10440-012-9791-2
URL : https://hal.archives-ouvertes.fr/hal-00925510
, On the blowing-up of stably free behaviours, Proceedings of the 44th IEEE Conference on Decision and Control, p.54, 2005.
DOI : 10.1109/CDC.2005.1582377
, Computation of bases of free modules over the Weyl algebras, Journal of Symbolic Computation, vol.42, issue.11-12, pp.1113-1141, 2007.
DOI : 10.1016/j.jsc.2007.06.005
URL : https://hal.archives-ouvertes.fr/inria-00070235
, Controllability and differential flatness of linear analytic ordinary differential systems, Proceedings of MTNS 2010 Algebraic Systems Theory, Behaviors, and Codes, Shaker, pp.23-30, 2010.
, An Introduction to Homological Algebra, pp.33-43, 2009.
DOI : 10.1007/b98977
, Modules projectifs et espaces fibrésfibrésà fibre vectorielle, Séminaire P. Dubreil, vol.6, p.17, 1957.
DOI : 10.1007/978-3-642-39816-2_39
URL : http://archive.numdam.org/article/SD_1957-1958__11_2_A9_0.pdf
, Stable structure of noncommutative Noetherian rings, Journal of Algebra, vol.47, issue.2, pp.47-244, 1977.
DOI : 10.1016/0021-8693(77)90224-1
, Stable structure of noncommutative Noetherian rings, II, Journal of Algebra, vol.52, issue.1, pp.218-235, 1978.
DOI : 10.1016/0021-8693(78)90270-3
, Module Structure of Weyl Algebras, Journal of the London Mathematical Society, vol.2, issue.3, pp.429-442, 1978.
DOI : 10.1112/jlms/s2-18.3.429
, Algebraic K-theory, Lecture Notes in Mathematics, vol.76, issue.46, p.50, 1968.
DOI : 10.1007/BFb0080281