A generalized Apagodu-Zeilberger algorithm
Shaoshi Chen, Manuel Kauers, Christoph Koutschan · 2014
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 δ-finite functions. In analogy to the hypergeometric case, we introduce the notion of proper δ-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.