[seqfan] Re: The Sequencer OEIS survey

[Neil Sloane]

I keep seeing followups to the survey.  PLEASE, everyone,
add these followups to the OEIS entries.

(I'm referring to Benoit's recent message saying

> The formula for A193129, namely A193129(n) = n^(2n-4) for n>0, is true
since obviously
A193129(n) = A000272(n)^2 for n>=0.
By the way, one should add A193129(0)=A193129(1)=A193129(2)=1.

and many earlier messages)

Best regards
Neil

Neil J. A. Sloane, President, OEIS Foundation.
11 South Adelaide Avenue, Highland Park, NJ 08904, USA.
Also Visiting Scientist, Math. Dept., Rutgers University, Piscataway, NJ.
Phone: 732 828 6098; home page: http://NeilSloane.com
Email: njasloane at gmail.com


On Thu, Apr 16, 2015 at 5:47 AM, Benoît Jubin <benoit.jubin at gmail.com>
wrote:

> The formula for A193129, namely A193129(n) = n^(2n-4) for n>0, is true
> since obviously
> A193129(n) = A000272(n)^2 for n>=0.
> By the way, one should add A193129(0)=A193129(1)=A193129(2)=1.
>
> Benoit
>
> On Wed, Apr 15, 2015 at 9:47 PM, Philipp Emanuel Weidmann <
> pew at worldwidemann.com> wrote:
> >
> > Thanks to all for the feedback.
> >
> > Out of 14 conjectures on the page, 3 have now been proved and 2
> > disproved. I have added the proofs and disproofs to the page along with
> > links to the original Seqfan mails containing them.
> >
> > As noted by several people (and mentioned on the page itself) the output
> > does not take OEIS offsets into account. The reason is that offset data
> > is not available for mass download (only sequence titles and elements
> > are) and thus not ready for parsing by software. IMO the data dumps OEIS
> > provides could do with some improvements: Rather than two separate text
> > files, it would be much preferable to have a relational database dump
> > containing all fields for all entries. Wikipedia has offered such dumps
> > for years (https://en.wikipedia.org/wiki/Wikipedia:Database_download)
> > and they are regularly used in academic endeavors like natural language
> > processing and data compression research. As data analysis technologies
> > advance, the OEIS' data could be the fuel of a lot of interesting ML
> > research if it were provided in an accessible format.
> >
> > I intend to keep the URL
> > http://worldwidemann.com/the-sequencer-oeis-survey/ stable as requested.
> > Additionally, anchors for individual sequence entries are available via
> > the syntax
> >
>
> http://worldwidemann.com/the-sequencer-oeis-survey/#a056084httpoeisorga056084
> etc.
> >
> > Best regards
> > Philipp Emanuel Weidmann
> >
> >
> >
> >
> >
> >
> > On Sun, 2015-04-12 at 12:28 +0200, 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/
> >
> >
> >
> > _______________________________________________
> >
> > Seqfan Mailing list - http://list.seqfan.eu/
>
> _______________________________________________
>
> Seqfan Mailing list - http://list.seqfan.eu/
>