NAME: Axel Riese

ADDRESS: Research Institute for Symbolic Computation (RISC)
Johannes Kepler Universität Linz
A-4040 Linz
AUSTRIA


EMAIL ADDRESS: Axel.Riese@risc.uni-linz.ac.at

TITLE OF TALK: Treating $q$-Identities with the Computer

ABSTRACT OF TALK: The $q$-Zeilberger algorithm has become a standard
                  tool for automatically proving $q$-hypergeometric
                  identities. We shall demonstrate an extended
                  version of this algorithm written in Mathematica.
                  This package comes along with many extra features
                  that assist the $q$-hypergeometric work.
                  Moreover, we introduce a prototype for the
                  treatment of $q$-hypergeometric multi-sums, a bibasic
                  generalization of Gosper's algorithm, and a package
                  for automatically walking along Bailey chains.