An approach to the zero recognition problem by Buchberger algorithm

DOI10.1016/0747-7171(92)90039-7MaRDI QIDQ1199821zbMATH OpenOpenAlexFDO

Authors 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

Buchberger algorithmholonomic functionszero recognition method

Mathematics Subject Classification ID

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

Review text

This paper has two purposes. The first is to present an algorithm to obtain differential equations for a definite integral with parameters, which is based on the Buchberger algorithm [cf. \textit{B. Buchberger} and \textit{R. Loos}, Computing Suppl. 4, 11-43 (1982; Zbl 0494.68045)]. The second purpose is to improve \textit{D. Zeilberger's} zero recognition method [J. Comput. Appl. Math. 32, No. 3, 321-368 (1990; Zbl 0738.33001)]\ for holonomic functions by the first algorithm. The author presents conjectures and open problems concerning the ``correctness of the algorithm.

Recommendations

• On the differential-integral analogue of Zeilberger's algorithm to rational functions
• The Risch Differential Equation Problem
• An algorithm of computing inhomogeneous differential equations for definite integrals
• The algebra of holonomic equations
• scientific article; zbMATH DE number 1163426

Cites work

• A holonomic systems approach to special functions identities
• Algebraic simplification
• Gröbner basis and the problem of contiguous relations
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 4031886 (Why is no real title available?)
• scientific article; zbMATH DE number 3786948 (Why is no real title available?)
• On Canonical Forms and Simplification
• On the holonomic systems of linear differential equations. II
• The analytic continuation of generalized functions with respect to a parameter
• The method of creative telescoping
• The method of differentiating under the integral sign

Cited in

(17)

• 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
• Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
• Elimination of variables in linear solvable polynomial algebras and \(\delta\)-holonomicity
• Normal projection: deterministic and probabilistic algorithms
• Integral expression for the stationary distribution of reflected Brownian motion in a wedge
• Effective scalar products of D-finite symmetric functions
• Computing differential equations for integrals associated to smooth Fano polytope
• W-Gröbner basis and monomial ideals under polynomial composition
• On the existence of telescopers for mixed hypergeometric terms
• An algorithm of computing inhomogeneous differential equations for definite integrals
• Weakly-unambiguous Parikh automata and their link to holonomic series
• D-modules and holonomic functions
• MFO-RIMS tandem workshop: Optimization, theoretical computer science and algebraic geometry: convexity and beyond. Abstracts from the MFO-RIMS tandem workshop held February 16--21, 2025
• Holonomic gradient descent and its application to the Fisher-Bingham integral
• Integrability test for evolutionary lattice equations of higher order

Describes a project that uses

Uses Software

• DEtools

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

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