[seqfan] Re: about 33826 formulas,
simon.plouffe at gmail.com
Fri Feb 11 16:10:48 CET 2011
Yes, of course, if it can be of any help to
the OEIS, of course mentioning that the
formulas were obtained by automatic means
or experimental, not a proof (but close),
I have not finished my survey since the
sequence numbers from A160000 to A185000
are not yet fully processed.
But, please do so, I am updating the result
file as the dedicated machine pulls them out
(it has 8 processors, it should not be very long).
have a nice and sunny day, ;)
More information about the SeqFan