Axel Riese, Research Institute for Symbolic Computation, J. Kepler University, Austria

Symbolic q-Hypergeometric Summation and Partition Analysis


We demonstrate Mathematica packages related to special functions. The first part of the demo is devoted to summation. We present an implementation of the q-Zeilberger algorithm for automated proving of q-hypergeometric singlesums and a prototype for dealing also with q-multisums. In the second part we introduce the "Omega" package, an implementation of MacMahon's Partition Analysis, which has been
carried out recently in cooperation with George E. Andrews and Peter Paule.