[seqfan] Re: automated discovery of unknown formulae

[Moshe Levin]

I'm  greatly for some great program (within the framework of our OEIS) distributable for parallel at-home computations  -
it will take the time of many users/submitters otherwise  submitting trivial submissions ;), and look, many of us (me, e.g.) aint  professional mathematicians/programmers and can't solve (and set!) any serious problem themselves.
This suggestion is to be included in Future Project page for sure !
Regards, ML 

25 октября 2011, 19:37 от Andrew Plewe <andrew at nevercenter.com>:
> 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.
> 
> 	-Andrew Plewe-
> 
> 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
> > knowledge:
> >
> > Run Superseeker on a dedicated server (with a local copy of the OEIS)
> > on every sequence Axxxxxx and report matches with a sequence Ayyyyyy
> > if:
> >
> > (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?
> >
> > Regards,
> > Max
> >
> > _______________________________________________
> >
> > Seqfan Mailing list - http://list.seqfan.eu/
> 
> _______________________________________________
> 
> Seqfan Mailing list - http://list.seqfan.eu/
>