The Abel-Zeilberger algorithm (Q640468)

In this article Abel's Lemma on summation is combined with Gosper's algorithm and more generally with Abramov's algorithm to find closed forms of indefinite summation problems and to compute recurrence relations of definite sums. The presented algorithm is closely related to the holonomic approach worked out in the pioneering article [\textit{F. Chyzak}, Discrete Math. 217, No. 1--3, 115--134 (2000; Zbl 0968.33011)] and can be considered as a special case of [\textit{C. Schneider}, Adv. Appl. Math. 34, No. 4, 740--767 (2005; Zbl 1078.33021)] formulated in the context of difference fields.