[Fwd (from Labos Elemer): Re: A suggestion concerning the future of OEIS.]

[Antti Karttunen]

Labos Elemer asked me to forward this reply of his (to my
message) to SeqFan-list, as he accidentally sent it privately
only to me. I have taken the liberty to delete most of the longish
quotation of my original message.


-------- Original Message --------
Subject: Re: A suggestion concerning the future of OEIS.
Date: Wed, 1 Aug 2001 12:55:43 GMT+100
From: "Labos Elemer" <LABOS at ana1.sote.hu>
To: karttu at megabaud.fi

> PS. Here's the AMS section 11-XX = Number theory as a sample
> from http://www.ams.org/msc/11-XX.html
> 
> 
> 
> 
>      11Axx Elementary number theory {For analogues in number fields, see 11R04} 
>      11Bxx Sequences and sets 
>      11Cxx Polynomials and matrices 
>      11Dxx Diophantine equations [See also 11Gxx, 14Gxx] 
>      11Exx Forms and linear algebraic groups [See also 19Gxx] {For quadratic forms in linear algebra, see 15A63} 
>      11Fxx Discontinuous groups and automorphic forms [See also 11R39, 11S37, 14Gxx, 14Kxx, 22E50, 22E55, 30F35, 32Nxx] {For relations with quadratic forms, see 11E45} 
>      11Gxx Arithmetic algebraic geometry (Diophantine geometry) [See also 11Dxx, 14-XX, 14Gxx, 14Kxx] 
>      11Hxx Geometry of numbers {For applications in coding theory, see 94B75} 
>      11Jxx Diophantine approximation, transcendental number theory [See also 11K60] 
>      11Kxx Probabilistic theory: distribution modulo $1$; metric theory of algorithms 
>      11Lxx Exponential sums and character sums {For finite fields, see 11Txx} 
>      11Mxx Zeta and $L$-functions: analytic theory 
>      11Nxx Multiplicative number theory 
>      11Pxx Additive number theory; partitions 
>      11Rxx Algebraic number theory: global fields {For complex multiplication, see 11G15} 
>      11Sxx Algebraic number theory: local and $p$-adic fields 
>      11Txx Finite fields and commutative rings (number-theoretic aspects) 
>      11Uxx Connections with logic 
>      11Yxx Computational number theory [See also 11-04] 
>      11Z05 Miscellaneous applications of number theory 
> 
> And 11Axx: from http://www.ams.org/msc/11Axx.html
> 
> 11Axx
> 
>  Elementary number theory
> 
>  {For analogues in number fields, see 11R04} 
> 
> 
> 11A05 Multiplicative structure; Euclidean algorithm; greatest common divisors
> 11A07 Congruences; primitive roots; residue systems
> 11A15 Power residues, reciprocity
> 11A25 Arithmetic functions; related numbers; inversion formulas
> 11A41 Primes
> 11A51 Factorization; primality
> 11A55 Continued fractions {For approximation results, see 11J70} [See also 11K50, 30B70, 40A15]
> 11A63 Radix representation; digital problems {For metric results, see 11K16}
> 11A67 Other representations
> 11A99 None of the above, but in this section
> 
> I guess the section 11A63 means our beloved base-sequences.
> 
> And 11Bxx = Sequences and sets from http://www.ams.org/msc/11Bxx.html
> 
> 
> 11B05 Density, gaps, topology
> 11B13 Additive bases [See also 05B10]
> 11B25 Arithmetic progressions [See also 11N13]
> 11B34 Representation functions
> 11B37 Recurrences {For applications to special functions, see 33-XX}
> 11B39 Fibonacci and Lucas numbers and polynomials and generalizations
> 11B50 Sequences (mod $m$)
> 11B57 Farey sequences; the sequences ${1^k, 2^k, \cdots}$
> 11B65 Binomial coefficients; factorials; $q$-identities [See also 05A10, 05A30]
> 11B68 Bernoulli and Euler numbers and polynomials
> 11B73 Bell and Stirling numbers
> 11B75 Other combinatorial number theory
> 11B83 Special sequences and polynomials
> 11B85 Automata sequences
> 11B99 None of the above, but in this section
> 

A kind of well codable classification is required. As a good start
this is promizing. 
Keep alive NJAS (e.g. send vitamins him), he has a lot to do. 
Hardy and Wright gone without leaving Contents or Index to their 
classical book.
Somewhere on Net an ambitious classification of the whole mathematics 
is available.
-------------------
The growing rate of EIS is about :
   its size is doubled in 3 years
In 12 years 1 millions may be reached.
----------------------
Another issue:
I did not find in EIS the Empty-Sequence,
only its characteristic sequence..
What to do?
------
Labos E.