Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity

DOI10.1006/jabr.2000.8448zbMath0997.16017OpenAlexW1998197234MaRDI QIDQ1841819

Huishi Li, Freddy M. J. van Oystaeyen

Publication date: 3 May 2001

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://repository.uantwerpen.be/docman/irua/cd168d/5133.pdf

zbMATH Keywords

algorithmsholonomicityGelfand-Kirillov dimensionnoncommutative Gröbner basessolvable polynomial algebraselimination lemmastandard monomials

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Ordinary and skew polynomial rings and semigroup rings (16S36) Growth rate, Gelfand-Kirillov dimension (16P90) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Rings of differential operators (associative algebraic aspects) (16S32) Computational aspects of associative rings (general theory) (16Z05) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Filtered associative rings; filtrational and graded techniques (16W70)

Related Items (2)

On the set of zero coefficients of a function satisfying a linear differential equation ⋮ Minimization of differential equations and algebraic values of 𝐸-functions

Cites Work

• Non-commutative Gröbner bases in algebras of solvable type
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• D-finite power series
• The diagonal of a D-finite power series is D-finite
• An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras
• Differentiably finite power series
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• An approach to the zero recognition problem by Buchberger algorithm
• On the holonomic systems of linear differential equations. II
• Non-commutative elimination in Ore algebras proves multivariate identities
• An introduction to commutative and noncommutative Gröbner bases
• Zariskian filtrations
• Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
• Hilbert polynomal of modules over homogeneous solvable polynomial algebras
• Filtered-graded transfer of groebner basis computation in solvable polynomial algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity