[seqfan] Re: automated discovery of unknown formulae
andrew at nevercenter.com
Tue Oct 25 17:37:28 CEST 2011
What sort of resources are required to run Superseeker? I'd be willing to figure something out for running lookups on my computers if I can download and install the necessary software without having to buy licenses. Also, if all the required software were freeware, it might be possible to code something akin to SETI at home that list members could download if they wanted to participate.
On Oct 25, 2011, at 6:58 AM, Max Alekseyev wrote:
> My recent finding of a simple formula for sequence A007987 in terms of
> A168597 or A002426 (while the sequence was originated from a very
> complex combinatorial formula taking a whole page in Humphries 1997
> paper) suggested that the following project may greatly benefit our
> Run Superseeker on a dedicated server (with a local copy of the OEIS)
> on every sequence Axxxxxx and report matches with a sequence Ayyyyyy
> (i) the match is conservative: say, both Axxxxxx and Ayyyyyy are long
> enough and T(Axxxxxx), where T is a matching transformation, matches
> all known terms of Ayyyyyy.
> (ii) a reference to Ayyyyyy is missing in the OEIS entry of Axxxxxx
> (or more relaxed variation: Ayyyyyy is not referenced from the formula
> field of the OEIS entry of Axxxxxx)
> This would find a lot of previously unknown (conjectured) formulae for
> sequences in terms of other sequences in the OEIS.
> Of course, there would likely be many false hits but hopefully we
> would be able to filter them by manual inspection.
> This project would easily found a "my" formula for A007987 (and
> hopefully many many others).
> Is anybody interested in setting up such a project?
> Seqfan Mailing list - http://list.seqfan.eu/
More information about the SeqFan