scientific article

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

algorithms Weyl algebras filtrations defining relations complexity analysis derived functors standard bases Hilbert polynomials standard basis chains of syzygies linear differential algebras

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Automorphisms and endomorphisms (16W20) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Software, source code, etc. for problems pertaining to associative rings and algebras (16-04)

Related Items

Factoring systems of linear PDEs with finite-dimensional solution spaces, Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra, An introduction to commutative and noncommutative Gröbner bases, Local Cohomology—An Invitation, A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings., NC solving of a system of linear ordinary differential equations in several unknowns, An algorithm of computing \(b\)-functions, History and basic features of the critical-pair/completion procedure, Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial, Weak Bézout inequality for D-modules, Gröbner bases for \(D\)-modules on a non-singular affine algebraic variety, Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules, Skew and infinitary formal power series, An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras, Differential and difference algebra, Signature Gröbner bases in free algebras over rings, An algorithm for the construction of matrix representations for finitely presented non-commutative algebras, A holonomic systems approach to special functions identities, On computing Gröbner bases in rings of differential operators, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work, Evaluation and interpolation over multivariate skew polynomial rings, A new look at the local solvability condition of inhomogeneous ordinary differential equations, Gröbner bases with coefficients in rings, Computation of bases of free modules over the Weyl algebras., Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules, Complexity of solution of linear systems in rings of differential operators, Generalized power series solutions to linear partial differential equations, An approach to the zero recognition problem by Buchberger algorithm, Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups, Weighted automata with discounting, Gröbner basis and the problem of contiguous relations, Gröbner bases in difference-differential modules and difference-differential dimension polynomials, Degree bounds for Gröbner bases in algebras of solvable type, Non-commutative Gröbner bases in algebras of solvable type, The method of differentiating under the integral sign, Gröbner deformations of regular holonomic systems, The graph of a Weyl algebra endomorphism, An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation, Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties, Formal solutions of differential equations, Involutive bases in the Weyl algebra.