[seqfan] Re: The Sequencer OEIS survey

[Rick Shepherd]

I wanted to add my thanks as well!

A few comments about the A129254 conjecture follow.

On Apr 13, 2015 3:10 AM, <hv at crypt.org> wrote:
>
> 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.

While looking for "low-hanging fruit," I just observed this, too (not
having consciously read this yet). Maybe it's worth noting that the
conjectured formula is correct for a similar sequence not yet in the OEIS
-- where the title could be similar but "p <= 3" is added. The terms of
that subsequence of A129254 are just numbers congruent to 27 and 80 mod 108
(=2^2*3^3). If of interest there could be other subsequences with p <=
progressively larger primes (to look for their formulas).  Note also that
A129254(59) = 3124, where the first such subsequence first varies.

Rick

>
> 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/
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/