We propose a way to split a given bivariate P-recursive sequence into a summable part and a non-summable part in such a way that the non-summable part is minimal in some sense. This decomposition gives rise to a new reduction-based creative telescoping algorithm based on the concept of integral bases.
Cite
@article{arxiv.2311.05246,
title = {Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases},
author = {Shaoshi Chen and Lixin Du and Manuel Kauers and Rong-Hua Wang},
journal= {arXiv preprint arXiv:2311.05246},
year = {2023}
}