[seqfan] Re: The Sequencer OEIS survey

[hv at crypt.org]

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

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.

Hugo

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
:http://worldwidemann.com/the-sequencer-oeis-survey/
:
: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/