[seqfan] Re: The Sequencer OEIS survey

hv at crypt.org hv at crypt.org
Mon Apr 13 09:00:12 CEST 2015

Thanks, this looks like nice work: many of the conjectures look very

If I correctly understand the sequence definition, the proposed formula
for A145052 looks very likely, and if correct it should be easy to prove.

However the conjecture for A129254 will match little more than the values
listed - the pattern will break as soon as we start to reach [neighbours of]
multiples of 5^5, 3124 being the first example.


Philipp Emanuel Weidmann <pew at worldwidemann.com> wrote:
:Back in February I announced a project to scan all OEIS sequences using
:the Sequencer system (https://github.com/p-e-w/sequencer) in order to
:identify new closed-form expressions for the sequence terms.
:The search has now concluded and the results are available at
:Please note that only sequences without a "formula" field were scanned
:as explained in the article.
:Best regards
:Philipp Emanuel Weidmann
:Seqfan Mailing list - http://list.seqfan.eu/

More information about the SeqFan mailing list