On the Existence of Telescopers for P-recursive Sequences

Lixin Du*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Article number102423
Number of pages21
JournalJournal of Symbolic Computation
Volume130
DOIs
Publication statusPublished - 01 Sept 2025

Fields of science

  • 101005 Computer algebra

JKU Focus areas

  • Digital Transformation

Cite this