**Dependencies**: A Mathematica package for computing algebraic relations of C-finite sequences and multi-sequences
===================================================================================================================
This package is part of the |PACKAGE_NAME| bundle. See :ref:`Download`.
Short Description
-----------------
For any tuple :math:`f_1, f_2,\ldots f_r` of sequences, the set of
multivariate polynomials :math:`p` such that
:math:`p(f1(n),f2(n),\ldots,fr(n))=0` for all points :math:`n` forms
an ideal of the polynomial ring. The package provides a function for
computing a basis for that ideal in the case where
:math:`f_1,f_2,\ldots,f_r` are C-finite sequences (or
multi-sequences), i.e., they satisfy homogeneous linear recurrence
equations with constant coefficients.
Authors
-------
* `Manuel Kauers`_
* Burkhard Zimmermann
Accompanying files
------------------
* `demo.nb`_
Literature
----------
To use the implementation it is sufficient to study the notebook
`demo.nb`_. It contains a few examples to start with.
* M. Kauers and B. Zimmermann
**Computing the Algebraic Relations of C-Finite Sequences and Multisequences**,
Journal of Symbolic Computation, Volume 43 Issue 11, November, 2008.
`[pdf from JSC] `_
`[techreport] `_
.. _Manuel Kauers: http://kauers.de
.. _demo.nb: Dependencies/demo.nb