Applicability of the q-analogue of Zeilberger's algorithm

DOI10.1016/J.JSC.2004.09.002MaRDI QIDQ2456539zbMATH OpenOpenAlexFDO

Authors William Y. C. Chen, Qing-Hu Hou, Yan-Ping Mu

Publication date 19 October 2007

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

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

zbMATH Keywords

Zeilberger's algorithm\(q\)-hypergeometric terms

Mathematics Subject Classification ID

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

Abstract: The applicability or terminating condition for the ordinary case of Zeilberger's algorithm was recently obtained by Abramov. For the $q$-analogue, the question of whether a bivariate $q$-hypergeometric term has a $qZ$-pair remains open. Le has found a solution to this problem when the given bivariate $q$-hypergeometric term is a rational function in certain powers of $q$. We solve the problem for the general case by giving a characterization of bivariate $q$-hypergeometric terms for which the $q$-analogue of Zeilberger's algorithm terminates. Moreover, we give an algorithm to determine whether a bivariate $q$-hypergeometric term has a $qZ$-pair.

Recommendations

• On the \(q\)-analogue of Zeilberger's algorithm to rational functions
• When does Zeilberger's algorithm succeed?
• The extended Zeilberger algorithm with parameters
• scientific article; zbMATH DE number 2151211
• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• Parameter augmentation and the \(q\)-Gosper algorithm
• A q-analogue of the modified Abramov-Petkovšek reduction
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• An extension of Zeilberger's fast algorithm to general holonomic functions
• scientific article; zbMATH DE number 2063248

Cites work

• scientific article; zbMATH DE number 718142 (Why is no real title available?)
• scientific article; zbMATH DE number 1023404 (Why is no real title available?)
• scientific article; zbMATH DE number 2151211 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• scientific article; zbMATH DE number 3207354 (Why is no real title available?)
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• General hypergeometric systems of equations and series of hypergeometric type
• On Zeilberger's algorithm and its \(q\)-analogue
• On the structure of multivariate hypergeometric terms.
• Rational normal forms and minimal decompositions of hypergeometric terms
• The method of creative telescoping
• Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
• When does Zeilberger's algorithm succeed?
• \(k\)-free recurrences of double hypergeometric terms
• \(q\)-hypergeometric solutions of \(q\)-difference equations

Cited in

(19)

• Residues and telescopers for bivariate rational functions
• The Ore-Sato theorem and shift exponents in the \(q\)-difference case
• Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
• How to generate all possible rational Wilf-Zeilberger pairs?
• The extended Zeilberger algorithm with parameters
• On homogeneous Zeilberger recurrences
• Efficient \(q\)-integer linear decomposition of multivariate polynomials
• On the \(q\)-analogue of Zeilberger's algorithm to rational functions
• scientific article; zbMATH DE number 2151211 (Why is no real title available?)
• When does Zeilberger's algorithm succeed?
• Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
• On the existence of telescopers for mixed hypergeometric terms
• On the existence of telescopers for rational functions in three variables
• Telescopers for differential forms with one parameter
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• scientific article; zbMATH DE number 1504574 (Why is no real title available?)
• scientific article; zbMATH DE number 1023404 (Why is no real title available?)
• Some open problems related to creative telescoping
• A q-analogue of the modified Abramov-Petkovšek reduction

Describes a project that uses

Uses Software

• qZeil

This page was built for publication: Applicability of the \(q\)-analogue of Zeilberger's algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456539)