2000 character limit reached
On the Existence of Telescopers for P-recursive Sequences (2311.06065v1)
Published 10 Nov 2023 in cs.SC
Abstract: We extend the criterion on the existence of telescopers for hypergeometric terms to the case of P-recursive sequences. This criterion is based on the concept of integral bases and the generalized Abramov-Petkovsek reduction for P-recursive sequences.