**SumCracker**: A Mathematica implementation of several algorithms for identities and inequalities of special sequences, including summation problems
=====================================================================================================================================================

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

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

The SumCracker package contains routines for manipulating a large
class of sequences (admissible sequences). It can prove identities and
inequalities for these sequences, simplify expressions, evaluate
symbolic sums, and solve certain difference equations.

SumCracker is developed for Mathematica 7 and might not run properly
on earlier versions of Mathematica.

Author
------

  * `Manuel Kauers`_

Accompanying files
------------------

  * `demo.nb`_
  * `demo-inequalities.nb`_

Literature
----------

To use the implementation it is sufficient to study the notebook
`demo.nb`_. It contains a few examples to start with.

Further information can be found in the following papers.

  * M. Kauers,
    **Algorithms for Nonlinear Higher Order Difference Equations**,
    Ph.D. Thesis, RISC, J. Kepler University Linz, 2005,
    `[ps] <http://www.risc.jku.at/publications/download/risc_2568/main.ps>`_

  * M. Kauers,
    **SumCracker: A Package for Manipulating Symbolic Sums and Related
    Objects**,
    Journal of Symbolic Computation 41(9), 2006, pp. 1039-1057,
    `[pdf from JSC] <http://www.sciencedirect.com/science/article/pii/S0747717106000502>`_
    `[local pdf] <http://www.risc.jku.at/publications/download/risc_2916/main.pdf>`_

.. _Manuel Kauers: http://kauers.de
.. _demo.nb: SumCracker/demo.nb
.. _demo-inequalities.nb: SumCracker/demo-inequalities.nb