A Mathematica Package for Computing Algebraic Relations of C-finite Sequences and Multi-Sequences
Software URLGo to Website
Short DescriptionFor any tuple of sequences, the set of multivariate polynomials such that for all points forms an ideal of the polynomial ring. The package provides a function for computing a basis for that ideal in the case where are C-finite sequences (or multi-sequences), i.e., they satisfy homogeneous linear recurrence equations with constant coefficients.
LiteratureTo 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]