\texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities

DOI10.1016/S0747-7171(02)00138-4zbMath1020.33007OpenAlexW2055087228MaRDI QIDQ1401158

Axel Riese

Publication date: 17 August 2003

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

Full work available at URL: https://doi.org/10.1016/s0747-7171(02)00138-4

Mathematics Subject Classification ID

(q)-calculus and related topics (05A30) Difference equations (39A99) Basic hypergeometric functions (33D99) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items

Coefficients of multiplication formulas for classical orthogonal polynomials, Linked partition ideals and the Alladi-Schur theorem, Polynomial identities implying Capparelli's partition theorems, Disturbing the Dyson conjecture, in a generally GOOD way, The colored Jones function is \(q\)-holonomic, \texttt{RRtools} -- a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities, Solving parameterized linear difference equations in terms of indefinite nested sums and products, Linked partition ideals and kanade-Russell conjectures, Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications, A proof of the second Rogers-Ramanujan identity via Kleshchev multipartitions, Representation of hypergeometric products of higher nesting depths in difference rings, Linked partition ideals, directed graphs and \(q\)-multi-summations, A polynomial identity implying Schur’s partition theorem, SumCracker: A package for manipulating symbolic sums and related objects, New infinite hierarchies of polynomial identities related to the Capparelli partition theorems, On double sum generating functions in connection with some classical partition theorems, Desingularization in the \(q\)-Weyl algebra, Note on the truncated generalizations of Gauss's square exponent theorem, A computer proof of a polynomial identity implying a partition theorem of Göllnitz, \texttt{qFunctions} -- a Mathematica package for \(q\)-series and partition theory applications, Refined q-Trinomial Coefficients and Two Infinite Hierarchies of q-Series Identities, qMultiSum, THE TRI-PENTAGONAL NUMBER THEOREM AND RELATED IDENTITIES, A Mathematica package for \(q\)-holonomic sequences and power series, Creative Telescoping for Holonomic Functions, Simplifying Multiple Sums in Difference Fields

Uses Software

• Mathematica
• qZeil

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A computer proof of a polynomial identity implying a partition theorem of Göllnitz
• Multiple series Rogers-Ramanujan type identities
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• A fast algorithm for proving terminating hypergeometric identities
• Generalizations of Schur's partition theorem
• On Zeilberger's algorithm and its \(q\)-analogue
• Balanced \(_ 3\phi_ 2\) summation theorems for \(U(n)\) basic hypergeometric series
• Umbral calculus, Bailey chains, and pentagonal number theorems
• 50 Years of Bailey's lemma
• An Analytic Generalization of the Rogers-Ramanujan Identities for Odd Moduli
• On identities of the Rogers-Ramanujan type