[seqfan] Re: The Sequencer OEIS survey

israel at math.ubc.ca israel at math.ubc.ca
Mon Apr 13 01:14:36 CEST 2015

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.


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
>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