A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms

DOI10.1145/2755996.2756648zbMath1346.68277arXiv1501.04668OpenAlexW2610309808MaRDI QIDQ2819746

Manuel Kauers, Hui Huang, Ziming Li, Shaoshi Chen

Publication date: 29 September 2016

Published in: Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1501.04668

zbMATH Keywords

summabilitytelescoperhypergeometric termAbramov-Petkovsek reduction

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Generalized hypergeometric series, ({}_pF_q) (33C20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (15)

Efficient rational creative telescoping ⋮ Constructing minimal telescopers for rational functions in three discrete variables ⋮ Some open problems related to creative telescoping ⋮ An algorithmic approach to the \(q\)-summability problem of bivariate rational functions ⋮ Reduction-based creative telescoping for Fuchsian D-finite functions ⋮ Constructing reductions for creative telescoping. The general differentially finite case ⋮ Hermite Reduction for D-finite Functions via Integral Bases ⋮ Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences ⋮ Polynomial reduction and supercongruences ⋮ The Ore-Sato theorem and shift exponents in the \(q\)-difference case ⋮ Linear differential equations as a data structure ⋮ \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\) ⋮ Contiguous Relations and Creative Telescoping ⋮ Gosper summability of rational multiples of hypergeometric terms

This page was built for publication: A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms