An approach to the zero recognition problem by Buchberger algorithm

DOI10.1016/0747-7171(92)90039-7zbMath0763.65007OpenAlexW2086764169MaRDI QIDQ1199821

Nobuki Takayama

Publication date: 16 January 1993

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0747-7171(92)90039-7

zbMATH Keywords

holonomic functionsBuchberger algorithmzero recognition method

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Algorithms for approximation of functions (65D15)

Related Items (12)

Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients ⋮ An algorithm of computing \(b\)-functions ⋮ Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial ⋮ Integrability test for evolutionary lattice equations of higher order ⋮ W-Gröbner basis and monomial ideals under polynomial composition ⋮ On the existence of telescopers for mixed hypergeometric terms ⋮ Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms ⋮ Normal projection: deterministic and probabilistic algorithms ⋮ Holonomic gradient descent and its application to the Fisher-Bingham integral ⋮ Integral expression for the stationary distribution of reflected Brownian motion in a wedge ⋮ Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity ⋮ Effective scalar products of D-finite symmetric functions

Uses Software

• DEtools

Cites Work

• The method of differentiating under the integral sign
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• On the holonomic systems of linear differential equations. II
• The analytic continuation of generalized functions with respect to a parameter
• Gröbner basis and the problem of contiguous relations
• On Canonical Forms and Simplification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An approach to the zero recognition problem by Buchberger algorithm