1 citations · 2 across the 9 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.SC2023
On the Existence of Telescopers for P-recursive Sequences
Lixin Du
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…
cs.SC2023★ 1 cited
Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases
Shaoshi Chen, Lixin Du, Manuel Kauers +1
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. Thi…
cs.SC2023★ 1 cited
Hermite Reduction for D-finite Functions via Integral Bases
Shaoshi Chen, Lixin Du, Manuel Kauers
Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limit…