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

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.