Parameter augmentation and the \(q\)-Gosper algorithm

DOI10.1016/j.jsc.2008.04.002zbMath1183.33040OpenAlexW1970845717MaRDI QIDQ999087

Yan-Ping Mu

Publication date: 30 January 2009

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

Full work available at URL: https://doi.org/10.1016/j.jsc.2008.04.002

zbMATH Keywords

basic hypergeometric series\(q\)-Gosper algorithmparameter augmentationBailey's very-well-poised \(_6\psi_6\) series

Mathematics Subject Classification ID

Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Uses Software

• qZeil

Cites Work

• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• On Zeilberger's algorithm and its \(q\)-analogue
• Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
• Parameter augmentation for basic hypergeometric series. II
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• SOME IDENTITIES IN COMBINATORIAL ANALYSIS
• Non-Terminating Basic Hypergeometric Series and the q-Zeilberger Algorithm
• CAUCHY AUGMENTATION FOR BASIC HYPERGEOMETRIC SERIES
• A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parameter augmentation and the \(q\)-Gosper algorithm