On the length of integers in telescopers for proper hypergeometric terms

DOI10.1016/j.jsc.2014.02.003zbMath1357.68304arXiv1311.3720OpenAlexW2111878548MaRDI QIDQ2252118

Manuel Kauers, Lily Yen

Publication date: 16 July 2014

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

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

zbMATH Keywords

Zeilberger's algorithmhypergeometric identitiessymbolic summation

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

Some open problems related to creative telescoping

Uses Software

• NewZeil.m
• ZEILBERGER
• qZEILBERGER
• EvaluateMultiSums

Cites Work

• Unnamed Item
• Unnamed Item
• Trading order for degree in creative telescoping
• A fast algorithm for proving terminating hypergeometric identities
• Proving hypergeometric identities by numerical verifications
• The LLL algorithm. Survey and applications
• The method of creative telescoping
• An introduction to pseudo-linear algebra
• A two-line algorithm for proving terminating hypergeometric identities
• An algorithm for finding recurrence relations of binomial sums and its complexity
• Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
• Complexity of creative telescoping for bivariate rational functions
• Decision procedure for indefinite hypergeometric summation
• Order-degree curves for hypergeometric creative telescoping
• Creative Telescoping for Holonomic Functions
• Simplifying Multiple Sums in Difference Fields