On the Existence of Telescopers for Mixed Hypergeometric Terms

2012/11/11 by Shaoshi Chen, Frédéric Chyzak, Chen, Shaoshi +7
Computer Science · Mathematics · #33F10 #Combinatorics (math.CO) #FOS: Computer and information sciences #FOS: Mathematics #Symbolic Computation (cs.SC) #cs.SC #math.CO #msc:33F10

paper · pdf · doi:10.48550/arxiv.1211.2430

arxiv created 2012/11/13 · arxiv updated 2012/11/14

Abstract

We present a criterion for the existence of telescopers for mixed hypergeometric terms, which is based on multiplicative and additive decompositions. The criterion enables us to determine the termination of Zeilberger's algorithms for mixed hypergeometric inputs.

Related

• A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms
• Order Bounds for Hypergeometric and q-Hypergeometric Creative Telescoping
• On the Existence of Telescopers for P-recursive Sequences
• Existence Problem of Telescopers: Beyond the Bivariate Case
• On the length of integers in telescopers for proper hypergeometric terms