author = {I. Nemes and M. Petkovsek},
title = {{RComp: A Mathematica Package for Computing with Recursive Sequences}},
language = {english},
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 {\it 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.},
journal = {J. Symbolic Comput.},
volume = {20},
pages = {745--753},
isbn_issn = {ISSN 0747-7171},
year = {1995},
refereed = {yes},
length = {9}