A generalized Apagodu-Zeilberger algorithm

DOI10.1145/2608628.2608641MaRDI QIDQ3452384zbMATH OpenOpenAlexWikidataFDO

Authors Shaoshi Chen, M. Kauers, Christoph Koutschan

Publication date 11 November 2015

Published in Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.2409, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.960.8496

zbMATH Keywords

\(\partial\)-finite functioncreative telescopingholonomic functionOre algebrasymbolic integrationsymbolic summation

Mathematics Subject Classification ID

Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Symbolic computation and algebraic computation (68W30)

Abstract: The Apagodu-Zeilberger algorithm can be used for computing annihilating operators for definite sums over hypergeometric terms, or for definite integrals over hyperexponential functions. In this paper, we propose a generalization of this algorithm which is applicable to arbitrary $partial$-finite functions. In analogy to the hypergeometric case, we introduce the notion of proper $partial$-finite functions. We show that the algorithm always succeeds for these functions, and we give a tight a priori bound for the order of the output operator.

Recommendations

• scientific article; zbMATH DE number 1504574
• Algorithms for m-fold hypergeometric summation
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• An extension of Zeilberger's fast algorithm to general holonomic functions
• On Zeilberger's algorithm and its \(q\)-analogue

Cites work

• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• Definability and decision problems in arithmetic
• scientific article; zbMATH DE number 1952952 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• On Computable Numbers, with an Application to the Entscheidungsproblem
• The Jordan Curve Theorem, Formally and Informally

Cited in

(8)

• A generalization of the Massey-Ding algorithm
• Some open problems related to creative telescoping
• Reduction-based creative telescoping for Fuchsian D-finite functions
• scientific article; zbMATH DE number 220697 (Why is no real title available?)
• Extensions of the AZ-Algorithm and the Package MultiIntegrate
• Nested Integrals and Rationalizing Transformations
• Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
• On the existence of telescopers for P-recursive sequences

Describes a project that uses

Uses Software

• Jordan

This page was built for publication: A generalized Apagodu-Zeilberger algorithm

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