# How does Mathematica's FindSequenceFunction work? [closed]

Mathematica's built-in function FindSequenceFunction can find out a closed form of the general terms of a given integer sequence. Anyone knows how it works? Is there any related reference papers?

-

## closed as off-topic by Michael E2, Kuba, m_goldberg, rm -rf♦May 6 at 14:01

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "The question is out of scope for this site. The answer to this question requires either advice from Wolfram support or the services of a professional consultant." – Michael E2, Kuba, m_goldberg, rm -rf
If this question can be reworded to fit the rules in the help center, please edit the question.

You already posted this question here stackoverflow.com/q/16772823/353410. You may want to delete one of them –  belisarius May 28 '13 at 12:10
Irrespective of what is implemented in Mathematica, the math of it is explained in lecture notes (pdf‌​) by Manuel Kauers. –  Sasha May 28 '13 at 14:51
Running TracePrint[] on an instance of FindSequenceFunction[], with the option TraceInternal set to True, reveals that Mathematica does a number of things (lookups, sequence transforms, etc.) to analyze a sequence given to FindSequenceFunction[]; a lot of the functions called are in the hidden contexts DiscreteFindSequenceFunctionDump and DiscreteFindSequenceFunctionDataDump . –  Ｊ. Ｍ. May 28 '13 at 15:03
@Sasha Thanks a lot! –  user1123187 May 29 '13 at 7:30
Updated reference: Manuel Kauers, October 2013, The Holonomic Toolkit, In Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, Springer, 119--144 (pdf). –  Michael E2 May 6 at 13:21