Finding sequences that reference some sequence

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

seqfans,

these are the very problems that i was working on all through the 80's
when i wrote my prototype "theme one" program, in the general context
of indexing 2-level formal languages, of which (finite fragments of)
integer sequences are a special case.  the "test of concept" is
primitive in a way by today's standards but implements a few
data structures that are yet to be as widely applied as
they might.  i started trying to document these ideas
in a generically re-usable way at my "inquiry" site:

http://stderr.org/pipermail/inquiry/
http://stderr.org/cgi-bin/mailman/listinfo/inquiry

here are the anchors of some pertinent threads:

http://stderr.org/pipermail/inquiry/2003-March/000100.html -- exposition
http://stderr.org/pipermail/inquiry/2003-March/000115.html -- source code
http://stderr.org/pipermail/inquiry/2003-March/000120.html -- commentary
http://stderr.org/pipermail/inquiry/2003-March/000141.html -- motivation

it may be another year or so before i can finish (or even get back to)
the te deums of documentality, but if anybody is remotely tantalized
i will do my level best to explain what's going on there.

jon awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Lßbos ElemÚr wrote:
> 
> On 12 Jun 2003, at 13:50, Ralf Stephan wrote:
> 
> > NJAS wrote
> > > How to find all sequences that reference A000109 (say)
> > >
> > > Do a Word search for the word A000109
> > >
> > > Use the advanced search if you get too many hits
> >
> > Neil, most (if not all) of this list know this but I do not think
> > they cause the majority of seq page hits you get.  And it is exactly
> > those new to the EIS that you want to fascinate for its possibilities,
> > one of the most important of which is its interconnectedness.
> >
> >
> > All IMHO,
> > ralf
> Are there quotation cycles in EIS?
> What is the longest citation-path or cycle here?
> Anyhow EIS is a very weakly connected in this sense.
> Also, can the "core"-seq set be automatically defined
> by connectedness alone?
> EIS itself starts to become an interesting graph with
> disjoint citation sub[di]graphs.
> 
> Labos

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o