Axel Riese, Research Institute for Symbolic Computation, J. Kepler University, Austria
e-mail: Axel.Riese@risc.uni-linz.ac.at

Symbolic q-Hypergeometric Summation and Partition Analysis

Abstract

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.