Complexity of a standard basis of a D-module.

DOI10.1090/S1061-0022-09-01069-3MaRDI QIDQ3079271zbMATH OpenOpenAlexFDO

Authors Dima Grigoriev, A. L. Chistov

Publication date 2 March 2011

Published in St. Petersburg Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s1061-0022-09-01069-3

zbMATH Keywords

Janet bases\(D\)-modulesWeyl algebrasGröbner bases

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) 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)

Recommendations

• scientific article; zbMATH DE number 4031886
• scientific article; zbMATH DE number 1009685
• Degree bounds for Gröbner bases of modules
• Weak Bézout inequality for D-modules
• Gröbner bases for \(D\)-modules on a non-singular affine algebraic variety

Cites work

• scientific article; zbMATH DE number 3900153 (Why is no real title available?)
• scientific article; zbMATH DE number 3937298 (Why is no real title available?)
• scientific article; zbMATH DE number 1206418 (Why is no real title available?)
• scientific article; zbMATH DE number 1163424 (Why is no real title available?)
• A new lower bound construction for commutative Thue systems with applications
• Noncommutative Gröbner bases and filtered-graded transfer.
• On the number of term orders
• The Structure of Polynomial Ideals and Gröbner Bases
• Weak Bézout inequality for D-modules

Cited in

(8)

• On Cartan's equivalence problem
• Weak Bézout inequality for D-modules
• Effective bounds for the consistency of differential equations
• The typical dimension of a system of first-order differential equations
• scientific article; zbMATH DE number 4031886 (Why is no real title available?)
• Degree bounds for Gröbner bases in algebras of solvable type
• On the algorithmic linearizability of nonlinear ordinary differential equations
• A new method for solving algebraic systems of positive dimension

This page was built for publication: Complexity of a standard basis of a \(D\)-module.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3079271)