[seqfan] Re: The Sequencer OEIS survey

[Benoît Jubin]

Done.

On Thu, Apr 16, 2015 at 6:45 PM, Neil Sloane <njasloane at gmail.com> wrote:

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