An algorithm for deciding the summability of bivariate rational functions

DOI10.1016/j.aam.2014.11.002zbMath1326.33033arXiv1408.2473OpenAlexW2071827924MaRDI QIDQ2254998

Qing-Hu Hou, Rong-Hua Wang

Publication date: 6 February 2015

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

summabilityGosper's algorithmdispersion setbivariate rational function

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Factorization (11Y05) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

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 ⋮ Minimal universal denominators for systems of linear recurrences ⋮ How to Generate All Possible Rational Wilf-Zeilberger Pairs? ⋮ On the existence of telescopers for rational functions in three variables

Uses Software

• NewZeil.m
• SIGMA
• MultiZeilberger
• ZEILBERGER
• qZEILBERGER

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the summability of bivariate rational functions
• Residues and telescopers for bivariate rational functions
• A fast approach to creative telescoping
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
• A fast algorithm for proving terminating hypergeometric identities
• Converging to Gosper's algorithm
• The method of creative telescoping
• Some questions concerning computer-generated proofs of a binomial double- sum identity
• Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines.
• Denominators of rational solutions of linear difference systems of an arbitrary order
• Greatest factorial factorization and symbolic summation
• Rational summation and Gosper-Petkovšek representation
• Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
• A new Sigma approach to multi-summation
• A telescoping method for double summations
• On solutions of linear functional systems
• Decision procedure for indefinite hypergeometric summation
• Telescoping, rational-valued series, and zeta functions
• On the summation of rational functions