A Generalized Apagodu-Zeilberger Algorithm
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2014
- DOI:
- 10.48550/arXiv.1402.2409
- arXiv:
- arXiv:1402.2409
- Bibcode:
- 2014arXiv1402.2409C
- Keywords:
-
- Computer Science - Symbolic Computation;
- I.1.2
- E-Print:
- Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), pages 107-114, 2014. ACM, New York, USA, ISBN 978-1-4503-2501-1