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-Petkovšek reduction for P-recursive sequences.
| Original language | English |
|---|---|
| Article number | 102423 |
| Number of pages | 21 |
| Journal | Journal of Symbolic Computation |
| Volume | 130 |
| DOIs | |
| Publication status | Published - 01 Sept 2025 |
Fields of science
- 101005 Computer algebra
JKU Focus areas
- Digital Transformation