**qZeil**: A Mathematica implementation of q-analogues of Gosper's and Zeilberger's algorithm
=============================================================================================

This package is part of the |PACKAGE_NAME| bundle. See :ref:`Download`.

Short Description
-----------------

``qZeil`` is a Mathematica implementation of q-analogues of Gosper's and
Zeilberger's algorithm for proving and finding indefinite and definite
q-hypergeometric summation identities.

The package has been developed by `Axel Riese`_, a former member
of the `RISC Combinatorics group`_.

Author
------

  * `Axel Riese`_

Accompanying Files
------------------

  * `WhatsNew.txt <qZeil/WhatsNew.txt>`_
    an ASCII-documentation of all changes and new features since
    version 1.4

  * `qZeilExamples.nb <qZeil/qZeilExamples.nb>`_
    a Mathematica notebook consisting of about 500 examples

  * `RiesePhD.nb <qZeil/RiesePhD.nb>`_
    a Mathematica notebook consisting of the examples from
    Riese's thesis in slightly modified form matching
    the syntax of the newest version of the package


Literature
----------

Information on the installation and use of the package (together with
its theoretical background) can be found in the paper

  * P. Paule and A. Riese,
    **A Mathematica q-Analogue of Zeilberger's Algorithm Based on an
    Algebraically Motivated Approach to q-Hypergeometric Telescoping**,
    in Special Functions, q-Series and Related Topics,
    Fields Inst. Commun., Vol. 14, pp. 179-210, 1997.
    `[pdf] <http://www.risc.jku.at/publications/download/risc_117/Paule_Riese.pdf>`_

Moreover, an up-to-date manual for the package is presented in Riese's
Ph.D. thesis

  * A. Riese,
    **Contributions to Symbolic q-Hypergeometric Summation**,
    Ph.D. Thesis, RISC, J. Kepler University, Linz, 1997.
    `[pdf] <http://www.risc.jku.at/publications/download/risc_118/diss.pdf>`_


.. _RISC Combinatorics group: http://www.risc.jku.at/research/combinat
.. _Axel Riese: https://risc.jku.at/m/axel-riese/