@

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}