A constructive study of the module structure of rings of partial differential operators.
symbolic computationWeyl algebrasconstructive algebralinear systems of partial differential equationsfinitely presented \(D\)-modulesStafford theorems
Symbolic computation and algebraic computation (68W30) Rings of differential operators (associative algebraic aspects) (16S32) Computational aspects of associative rings (general theory) (16Z05) Sheaves of differential operators and their modules, (D)-modules (32C38) Differential algebra (12H05) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15)
- scientific article; zbMATH DE number 1650885 (Why is no real title available?)
- scientific article; zbMATH DE number 1824074 (Why is no real title available?)
- scientific article; zbMATH DE number 4049807 (Why is no real title available?)
- scientific article; zbMATH DE number 3786948 (Why is no real title available?)
- scientific article; zbMATH DE number 1236965 (Why is no real title available?)
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- scientific article; zbMATH DE number 784263 (Why is no real title available?)
- scientific article; zbMATH DE number 3227998 (Why is no real title available?)
- scientific article; zbMATH DE number 3278303 (Why is no real title available?)
- scientific article; zbMATH DE number 3365976 (Why is no real title available?)
- A constructive study of the module structure of rings of partial differential operators.
- A note on the module structure of weyl algebras and simple noetherian rings
- Algebraic \(K\)-theory
- Algebraic analysis of linear multidimensional control systems
- Algorithmic proofs of two theorems of Stafford.
- An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
- An introduction to homological algebra
- Bases for projective modules in \(A_n(k)\).
- Commutative algebra. Constructive methods. Finite type projective modules. Course and exercises
- Computation of bases of free modules over the Weyl algebras.
- Controllability and differential flatness of linear analytic ordinary differential systems
- Effective algorithms for parametrizing linear control systems over Ore algebras
- Factoring and decomposing a class of linear functional systems
- Generating non-Noetherian modules constructively
- Grade filtration of linear functional systems.
- Module Structure of Rings of Differential Operators
- Module Structure of Weyl Algebras
- Serre's reduction of linear functional systems.
- Serre's reduction of linear partial differential systems with holonomic adjoints
- Stable structure of noncommutative Noetherian rings
- Stable structure of noncommutative Noetherian rings. II
- Towards an effective version of a theorem of Stafford
- \textsc{OreModules}: A symbolic package for the study of multidimensional linear systems
- homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
- Computation of bases of free modules over the Weyl algebras.
- A new insight into Serre's reduction problem
- Algorithmic proofs of two theorems of Stafford.
- A constructive study of the module structure of rings of partial differential operators.
- Towards an effective version of a theorem of Stafford
- Effective algorithms for parametrizing linear control systems over Ore algebras
- Module structure of certain rings of differential operators
- Weak Bézout inequality for D-modules
- Recent progress in an algebraic analysis approach to linear systems
- A nullstellensatz for linear partial differential equations with polynomial coefficients
- Effective algebraic analysis approach to linear systems over Ore algebras
Uses Software
This page was built for publication: A constructive study of the module structure of rings of partial differential operators.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2255606)
