[seqfan] Re: Run Superseeker on existing sequence?
simon.plouffe at gmail.com
Fri Aug 13 16:21:41 CEST 2010
superseeker uses GFUN to guess a generating function
and other techniques, in all cases of course the computation
of a formula is based on the premise that the finite sequence
continues up to infinity,
in most cases, once detected, the formula has good chances
to be the good one but : the OEIS basic principle
is to reference what is related to the sequence not
to show conjectures.
in some rare cases, the conjecture itself might have
a genuine interest if there is no known formula
for the sequence.
the problem is then to remove or include all the
false positive, this is a tedious and time consuming
task that Neil Sloane as the main contributor,
at some point myself and now
hundreds of people are trying to do.
If you want to see what can be done with a version
of the superseeker and all the known sequences
, I made up this file :
there are 30000 formulas.
More information about the SeqFan