Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

RComp: A Mathematica Package for Computing with Recursive Sequences

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

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.

*Mathematics > Number Theory