RComp: A Mathematica Package for Computing with Recursive Sequences

Abstract The set of sequences that satisfy some linear recurrence relation with constant coefficients is considered. Operations over this set are implemented in the computer algebra system Mathematica. For representing sequences several finite representations are provided together with functions which convert among them. For a large class of identities involving these sequences computer generated proofs can be obtained by the package.