Search

Abstract: 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öbner 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. [Copyright &y& Elsevier]

We introduce in this paper a straightforward but useful method for computing indefinite rational matrix products. The method is used to prove a certain identity involving definite sums and a definite integral. [ABSTRACT FROM AUTHOR]