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.