[seqfan] Re: The Sequencer OEIS survey

[israel at math.ubc.ca]

Very interesting.

For A056084: Numbers n such that n^8 = 1 (mod 9^3)
it is clear that x is in A056084 iff x + 9^3 is, so (once you verify
that 1 and 728 are the only entries < 9^3) the conjectured formula
is certainly true.

Cheers,
Robert

On Apr 12 2015, Philipp Emanuel Weidmann 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/
>
>