Serre's reduction of linear partial differential systems with holonomic adjoints

DOI10.1016/j.jsc.2011.12.041zbMath1252.35016OpenAlexW1999704298MaRDI QIDQ432747

Thomas Cluzeau, Alban Quadrat

Publication date: 4 July 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.041

zbMATH Keywords

constructive module theoryholonomic \(D\)-modulesunderdetermined linear systems of partial differential equations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Sheaves of differential operators and their modules, (D)-modules (32C38) Monodromy; relations with differential equations and (D)-modules (complex-analytic aspects) (32S40) Other special methods applied to PDEs (35A25) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

On the equivalence of multivariate polynomial matrices ⋮ Recent progress in an algebraic analysis approach to linear systems ⋮ Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases ⋮ Equivalences of Linear Functional Systems ⋮ A constructive study of the module structure of rings of partial differential operators. ⋮ Serre's reduction of linear functional systems.

Uses Software

• Macaulay2
• OreModules
• Janet
• D-modules

Cites Work

• Serre's reduction of linear functional systems.
• Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases
• An introduction to homological algebra
• Localization and parametrization of linear multidimensional control systems
• Factoring and decomposing a class of linear functional systems
• Computation of bases of free modules over the Weyl algebras.
• Effective algorithms for parametrizing linear control systems over Ore algebras
• Algorithmic proofs of two theorems of Stafford.
• OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems
• An algebraic analysis approach to linear time-varying systems
• Smith forms over<tex>R[z_{1},z_{2}</tex>]
• Formal Solutions of Irregular Linear Differential Equations. Part II
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item