Reduction-based Creative Telescoping for P-recursive Sequences via Integral Bases

2023/11/09 by Shaoshi Chen, Chen, Shaoshi, Lixin Du +5 · 1 citation
Computer Science · #Computational Physics and Python Applications #FOS: Computer and information sciences #Symbolic Computation (cs.SC)

paper · pdf · doi:10.48550/arxiv.2311.05246

openalex publication_date 2023/11/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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.

Cited by

• Complete Reduction for Derivatives in a Transcendental Liouvillian Extension

Related

• Reduction-Based Creative Telescoping for Fuchsian D-finite Functions
• Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions
• Reduction-Based Creative Telescoping for Algebraic Functions
• Parameterized Telescoping Proves Algebraic Independence of Sums
• Hermite Reduction and Creative Telescoping for Hyperexponential Functions