qMultiSum--a package for proving q-hypergeometric multiple summation identities

Abstract

A Mathematica package for finding recurrences for q-hypergeometric multiple sums is introduced. Together with a detailed description of the theoretical background, we present several examples to illustrate its usage and range of applicability. In particular, various computer proofs of recently discovered identities are exhibited.

DOI: 10.1016/S0747-7171(02)00138-4

Extracted Key Phrases

Cite this paper

@article{Riese2003qMultiSumaPF, title={qMultiSum--a package for proving q-hypergeometric multiple summation identities}, author={Axel Riese}, journal={J. Symb. Comput.}, year={2003}, volume={35}, pages={349-376} }