Burkhard Zimmermann, Manuel Kauers,
"Computing the Algebraic Relations of C-finite Sequences and Multisequences"
, Serie SFB F013 Reports, Nummer 2006-24, Johannes Kepler Universität, Altenbergerstrasse 69, 4040 Linz, Austria, 2006
Original Titel:
Computing the Algebraic Relations of C-finite Sequences and Multisequences
Sprache des Titels:
Englisch
Original Kurzfassung:
We present an algorithm for computing generators for the ideal of algebraic relations among sequences which are given by homogeneous linear recurrence equations with constant coefficients. Knowing these generators makes it possible to use Gr\"obner basis methods for carrying out certain basic operations in the ring of such sequences effectively. In particular, one can answer the question whether a given sequence can be represented in terms of other given sequences. A collection of examples, which were done with an implementation of our algorithm, is included.