[seqfan] Re: automated discovery of unknown formulae
Marc LeBrun
mlb at well.com
Tue Oct 25 17:46:54 CEST 2011
>="Max Alekseyev" <maxale at gmail.com>
> Run Superseeker on a dedicated server (with a local copy of the OEIS)
> on every sequence Axxxxxx and report matches with a sequence Ayyyyyy
Max, great project!
This is an expanded variation of something I've been advocating for years
(heh, including just yesterday, in the thread '"Suggested Projects" page on
the wiki').
I sometimes refer to the sets of sequences generated in this way as a
"superseeker neighborhood".
You seem to be describing computing the superseeker neighborhood of the
entire OEIS--nice and ambitious!
As an initial proof-of-concept, you could start smaller--say with just the
superseeker neighborhood of the "core" sequences.
I think if any of THOSE are missing, they should be added to the OEIS, and
all missing cross references between T_i(A_core) and A_core should be added.
(The entire core neighborhood being arguably "interesting" defers the issue
of having to filter the chaff by manual inspection.)
Also, besides these big one-time batch projects, I think checking the
neighborhood of every new submission should be spun off as a background
process and any discovered hits reported back. In past days this would have
been prohibitive, but Moore's Law ultimately prevails.
> Is anybody interested in setting up such a project?
Actually doing it, aye, there's the rub!
More information about the SeqFan
mailing list