-
Notifications
You must be signed in to change notification settings - Fork 0
Home
m-f-h edited this page Jan 17, 2020
·
1 revision
Welcome to the (N)EIS wiki!
"EIS" stands for Encyclopedia of Integer Sequences. This project is more precisely the "New (and Better On-Line) EIS", (N)EIS.
After many many years and hours of contribution to http://OEIS.org, I regret some shortcomings of that EIS which apparently will never be implemented.
Among these:
- Systematic classification of "elementary" sequences. This is very much in the spirit of Robert Munafo's "Minimal Complexity Sequences".
- It is not only **classification**, but also **automatic inclusion** of the classified sequences. For example, all linear recurrent sequences, at least with constant coefficients, are in the (N)EIS at once at the very moment we add their "class", with a unique identification number, formulas for the n-th term, etc. Of course, each of these can have individual information and reference.
- In particular, they can be within sub-classes which inherit the properties from their parent class.
- As already mentioned, much of the mathematical and computer-theoretical contents can be automatically & dynamically created:
- The data: 1, 2, 3 or more lines directly displayed on the screen, or to be downloaded in user-choosable format
- The programs: get code, in any supported language, for the n-th term or a list of the first n terms, the characteristic (membership testing) function, etc.
- Formulas: get explicit formulas for the n-th term, generating functions, series for asymptotic behviour, etc.