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 (6)

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

This page was built for publication: Serre's reduction of linear partial differential systems with holonomic adjoints