1 citations · 1 across the 2 of their papers we have counts for
2 papers
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
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…