Wolfram Library Archive


Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings
Title

RComp: A Mathematica Package for Computing with Recursive Sequences
Authors

I. Nemes
M. Petkovsek
Organization: Wolfram Research, Inc.
Journal / Anthology

Journal of Symbolic Computation
Year: 1995
Volume: 20
Issue: 5-6
Page range: 745-753
Description

The set of consequences 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.
Subject

*Mathematics > Number Theory