Hubbry Logo
On-Line Encyclopedia of Integer SequencesOn-Line Encyclopedia of Integer SequencesMain
Open search
On-Line Encyclopedia of Integer Sequences
Community hub
On-Line Encyclopedia of Integer Sequences
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
On-Line Encyclopedia of Integer Sequences
On-Line Encyclopedia of Integer Sequences
from Wikipedia

The On-Line Encyclopedia of Integer Sequences (OEIS) is an online database of integer sequences. It was created and maintained by Neil Sloane while researching at AT&T Labs. He transferred the intellectual property and hosting of the OEIS to the OEIS Foundation in 2009,[4] and is its chairman.

Key Information

OEIS records information on integer sequences of interest to both professional and amateur mathematicians, and is widely cited. As of February 2024, it contains over 370,000 sequences,[5] and is growing by approximately 30 entries per day.[6]

Each entry contains the leading terms of the sequence, keywords, mathematical motivations, literature links, and more, including the option to generate a graph or play a musical representation of the sequence. The database is searchable by keyword, by subsequence, or by any of 16 fields. There is also an advanced search function called SuperSeeker which runs a large number of different algorithms to identify sequences related to the input.[7]

History

[edit]
Second edition of the book

Neil Sloane started collecting integer sequences as a graduate student in 1964 to support his work in combinatorics.[8][9] The database was at first stored on punched cards. He published selections from the database in book form twice:

  1. A Handbook of Integer Sequences (1973, ISBN 0-12-648550-X), containing 2,372 sequences in lexicographic order and assigned numbers from 1 to 2372.
  2. The Encyclopedia of Integer Sequences with Simon Plouffe (1995, ISBN 0-12-558630-2), containing 5,488 sequences and assigned M-numbers from M0000 to M5487. The Encyclopedia includes the references to the corresponding sequences (which may differ in their few initial terms) in A Handbook of Integer Sequences as N-numbers from N0001 to N2372 (instead of 1 to 2372.) The Encyclopedia includes the A-numbers that are used in the OEIS, whereas the Handbook did not.
1999 "Integer Sequences" web page
Sloane's "Integer Sequences" web page on the "AT&T research" web site as of 1999

These books were well-received and, especially after the second publication, mathematicians supplied Sloane with a steady flow of new sequences. The collection became unmanageable in book form, and when the database reached 16,000 entries Sloane decided to go online – first as an email service (August 1994), and soon thereafter as a website (1996). As a spin-off from the database work, Sloane founded the Journal of Integer Sequences in 1998.[10] The database continues to grow at a rate of some 10,000 entries a year. Sloane has personally managed 'his' sequences for almost 40 years, but starting in 2002, a board of associate editors and volunteers has helped maintain the omnibus database.[11] In 2004, Sloane celebrated the addition of the 100,000th sequence to the database, A100000, which counts the marks on the Ishango bone. In 2006, the user interface was overhauled and more advanced search capabilities were added. In 2010 an OEIS wiki was created to simplify the collaboration of the OEIS editors and contributors.[12] The 200,000th sequence, A200000, was added to the database in November 2011; it was initially entered as A200715, and moved to A200000 after a week of discussion on the SeqFan mailing list,[13][14] following a proposal by OEIS Editor-in-Chief Charles Greathouse to choose a special sequence for A200000.[15] A300000 was defined in February 2018, and by end of January 2023 the database contained more than 360,000 sequences.[16][17]

Non-integers

[edit]

Besides integer sequences, the OEIS also catalogs sequences of fractions, the digits of transcendental numbers, complex numbers and so on by transforming them into integer sequences. Sequences of fractions are represented by two sequences (named with the keyword 'frac'): the sequence of numerators and the sequence of denominators. For example, the fifth-order Farey sequence, , is catalogued as the numerator sequence 1, 1, 1, 2, 1, 3, 2, 3, 4 (A006842) and the denominator sequence 5, 4, 3, 5, 2, 5, 3, 4, 5 (A006843). Important irrational numbers such as π = 3.1415926535897... are catalogued under representative integer sequences such as decimal expansions (here 3, 1, 4, 1, 5, 9, 2, 6, 5, 3, 5, 8, 9, 7, 9, 3, 2, 3, 8, 4, 6, 2, 6, 4, 3, 3, 8, 3, 2, 7, 9, 5, 0, 2, 8, 8, ... (A000796)), binary expansions (here 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, ... (A004601)), or continued fraction expansions (here 3, 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, 1, 2, 2, 2, 2, 1, 84, 2, 1, 1, ... (A001203)).

Conventions

[edit]

The OEIS was limited to plain ASCII text until 2011, and it still uses a linear form of conventional mathematical notation (such as f(n) for functions, n for running variables, etc.). Greek letters are usually represented by their full names, e.g., mu for μ, phi for φ. Every sequence is identified by the letter A followed by six digits, almost always referred to with leading zeros, e.g., A000315 rather than A315. Individual terms of sequences are separated by commas. Digit groups are not separated by commas, periods, or spaces. In comments, formulas, etc., a(n) represents the nth term of the sequence.

Special meaning of zero

[edit]

Zero is often used to represent non-existent sequence elements. For example, A104157 enumerates the "smallest prime of n2 consecutive primes to form an n × n magic square of least magic constant, or 0 if no such magic square exists." The value of a(1) (a 1 × 1 magic square) is 2; a(3) is 1480028129. But there is no such 2 × 2 magic square, so a(2) is 0. This special usage has a solid mathematical basis in certain counting functions; for example, the totient valence function Nφ(m) (A014197) counts the solutions of φ(x) = m. There are 4 solutions for 4, but no solutions for 14, hence a(14) of A014197 is 0—there are no solutions.

Other values are also used, most commonly −1 (see A000230 or A094076).

Lexicographical ordering

[edit]

The OEIS maintains the lexicographical order of the sequences, so each sequence has a predecessor and a successor (its "context").[18] OEIS normalizes the sequences for lexicographical ordering, (usually) ignoring all initial zeros and ones, and also the sign of each element. Sequences of weight distribution codes often omit periodically recurring zeros.

For example, consider: the prime numbers, the palindromic primes, the Fibonacci sequence, the lazy caterer's sequence, and the coefficients in the series expansion of . In OEIS lexicographic order, they are:

  • Sequence #1: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97, ... A000040
  • Sequence #2: 2, 3, 5, 7, 11, 101, 131, 151, 181, 191, 313, 353, 373, 383, 727, 757, 787, 797, 919, 929, ... A002385
  • Sequence #3: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, ... A000045
  • Sequence #4: 1, 2, 4, 7, 11, 16, 22, 29, 37, 46, 56, 67, 79, 92, 106, 121, 137, 154, ... A000124
  • Sequence #5: 1, 3, 8, 3, 24, 24, 48, 3, 8, 72, 120, 24, 168, 144, ... A046970

whereas unnormalized lexicographic ordering would order these sequences thus: #3, #5, #4, #1, #2.

Self-referential sequences

[edit]

Very early in the history of the OEIS, sequences defined in terms of the numbering of sequences in the OEIS itself were proposed. "I resisted adding these sequences for a long time, partly out of a desire to maintain the dignity of the database, and partly because A22 was only known to 11 terms!", Sloane reminisced.[19] One of the earliest self-referential sequences Sloane accepted into the OEIS was A031135 (later A091967) "a(n) = n-th term of sequence An or −1 if An has fewer than n terms". This sequence spurred progress on finding more terms of A000022. A100544 lists the first term given in sequence An, but it needs to be updated from time to time because of changing opinions on offsets. Listing instead term a(1) of sequence An might seem a good alternative if it were not for the fact that some sequences have offsets of 2 and greater. This line of thought leads to the question "Does sequence An contain the number n?" and the sequences A053873, "Numbers n such that OEIS sequence An contains n", and A053169, "n is in this sequence if and only if n is not in sequence An". Thus, the composite number 2808 is in A053873 because A002808 is the sequence of composite numbers, while the non-prime 40 is in A053169 because it is not in A000040, the prime numbers. Each n is a member of exactly one of these two sequences, and in principle it can be determined which sequence each n belongs to, with two exceptions (related to the two sequences themselves):

  • It cannot be determined whether 53873 is a member of A053873 or not. If it is in the sequence then by definition it should be; if it is not in the sequence then (again, by definition) it should not be. Nevertheless, either decision would be consistent, and would also resolve the question of whether 53873 is in A053169.
  • It can be proved that 53169 both is and is not a member of A053169. If it is in the sequence then by definition it should not be; if it is not in the sequence then (again, by definition) it should be. This is a form of Russell's paradox. Hence it is also not possible to answer if 53169 is in A053873.

Abridged example of a comprehensive entry

[edit]

This entry, A046970, was chosen because it comprehensively contains every OEIS field, filled.[20]

A046970     Dirichlet inverse of the Jordan function J_2 (A007434).
            1, -3, -8, -3, -24, 24, -48, -3, -8, 72, -120, 24, -168, 144, 192, -3, -288, 24, -360, 72, 384, 360, -528, 24, -24, 504, -8, 144, -840, -576, -960, -3, 960, 864, 1152, 24, -1368, 1080, 1344, 72, -1680, -1152, -1848, 360, 192, 1584, -2208, 24, -48, 72, 2304, 504, -2808, 24, 2880, 144, 2880, 2520, -3480, -576 
OFFSET	    1,2

COMMENTS	B(n+2) = -B(n)*((n+2)*(n+1)/(4*Pi^2))*z(n+2)/z(n) = -B(n)*((n+2)*(n+1)/(4*Pi^2)) * Sum_{j>=1} a(j)/j^(n+2).
            Apart from signs also Sum_{d|n} core(d)^2*mu(n/d) where core(x) is the squarefree part of x. - Benoit Cloitre, May 31 2002
REFERENCES	M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions, Dover Publications, 1965, pp. 805-811.
            T. M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1986, p. 48.
LINKS	    Reinhard Zumkeller, Table of n, a(n) for n = 1..10000
            M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
            P. G. Brown, Some comments on inverse arithmetic functions, Math. Gaz. 89 (516) (2005) 403-408.
            Paul W. Oxby, A Function Based on Chebyshev Polynomials as an Alternative to the Sinc Function in FIR Filter Design, arXiv:2011.10546 [eess.SP], 2020.
            Wikipedia, Riemann zeta function.
FORMULA	    Multiplicative with a(p^e) = 1 - p^2.
            a(n) = Sum_{d|n} mu(d)*d^2.
            abs(a(n)) = Product_{p prime divides n} (p^2 - 1). - Jon Perry, Aug 24 2010
            From Wolfdieter Lang, Jun 16 2011: (Start)
            Dirichlet g.f.: zeta(s)/zeta(s-2).
            a(n) = J_{-2}(n)*n^2, with the Jordan function J_k(n), with J_k(1):=1. See the Apostol reference, p. 48. exercise 17. (End)
            a(prime(n)) = -A084920(n). - R. J. Mathar, Aug 28 2011
            G.f.: Sum_{k>=1} mu(k)*k^2*x^k/(1 - x^k). - Ilya Gutkovskiy, Jan 15 2017
EXAMPLE	    a(3) = -8 because the divisors of 3 are {1, 3} and mu(1)*1^2 + mu(3)*3^2 = -8.
            a(4) = -3 because the divisors of 4 are {1, 2, 4} and mu(1)*1^2 + mu(2)*2^2 + mu(4)*4^2 = -3.
            E.g., a(15) = (3^2 - 1) * (5^2 - 1) = 8*24 = 192. - Jon Perry, Aug 24 2010
            G.f. = x - 3*x^2 - 8*x^3 - 3*x^4 - 24*x^5 + 24*x^6 - 48*x^7 - 3*x^8 - 8*x^9 + ...
MAPLE	    Jinvk := proc(n, k) local a, f, p ; a := 1 ; for f in ifactors(n)[2] do p := op(1, f) ; a := a*(1-p^k) ; end do: a ; end proc:
            A046970 := proc(n) Jinvk(n, 2) ; end proc: # R. J. Mathar, Jul 04 2011
MATHEMATICA	muDD[d_] := MoebiusMu[d]*d^2; Table[Plus @@ muDD[Divisors[n]], {n, 60}] (Lopez)
            Flatten[Table[{ x = FactorInteger[n]; p = 1; For[i = 1, i <= Length[x], i++, p = p*(1 - x[[i]][[1]]^2)]; p}, {n, 1, 50, 1}]] (* Jon Perry, Aug 24 2010 *)
            a[ n_] := If[ n < 1, 0, Sum[ d^2 MoebiusMu[ d], {d, Divisors @ n}]] (* Michael Somos, Jan 11 2014 *)
            a[ n_] := If[ n < 2, Boole[ n == 1], Times @@ (1 - #[[1]]^2 & /@ FactorInteger @ n)] (* Michael Somos, Jan 11 2014 *)
PROG	    (PARI) A046970(n)=sumdiv(n, d, d^2*moebius(d)) \\ Benoit Cloitre
            (Haskell)
            a046970 = product . map ((1 -) . (^ 2)) . a027748_row
            -- Reinhard Zumkeller, Jan 19 2012
            (PARI) {a(n) = if( n<1, 0, direuler( p=2, n, (1 - X*p^2) / (1 - X))[n])} /* Michael Somos, Jan 11 2014 */
CROSSREFS	Cf. A007434, A027641, A027642, A063453, A023900.
            Cf. A027748.
            Sequence in context: A144457 A220138 A146975 * A322360 A058936 A280369
            Adjacent sequences:  A046967 A046968 A046969 * A046971 A046972 A046973
KEYWORD	    sign,easy,mult
AUTHOR	    Douglas Stoll, dougstoll(AT)email.msn.com
EXTENSIONS	Corrected and extended by Vladeta Jovovic, Jul 25 2001
            Additional comments from Wilfredo Lopez (chakotay147138274(AT)yahoo.com), Jul 01 2005

Entry fields

[edit]
ID number
Every sequence in the OEIS has a serial number, a six-digit positive integer, prefixed by A (and zero-padded on the left prior to November 2004). The letter "A" stands for "absolute". Numbers are either assigned by the editor(s) or by an A number dispenser, which is handy for when contributors wish to send in multiple related sequences at once and be able to create cross-references. An A number from the dispenser expires a month from issue if not used. But as the following table of arbitrarily selected sequences shows, the rough correspondence holds.
A059097 Numbers n such that the binomial coefficient C(2nn) is not divisible by the square of an odd prime. Jan 1, 2001
A060001 Fibonacci(n)!. Mar 14, 2001
A066288 Number of 3-dimensional polyominoes (or polycubes) with n cells and symmetry group of order exactly 24. Jan 1, 2002
A075000 Smallest number such that n · a(n) is a concatenation of n consecutive integers ... Aug 31, 2002
A078470 Continued fraction for ζ(3/2) Jan 1, 2003
A080000 Number of permutations satisfying −k ≤ p(i) − i ≤ r and p(i) − i Feb 10, 2003
A090000 Length of longest contiguous block of 1s in binary expansion of nth prime. Nov 20, 2003
A091345 Exponential convolution of A069321(n) with itself, where we set A069321(0) = 0. Jan 1, 2004
A100000 Marks from the 22000-year-old Ishango bone from the Congo. Nov 7, 2004
A102231 Column 1 of triangle A102230, and equals the convolution of A032349 with A032349 shift right. Jan 1, 2005
A110030 Number of consecutive integers starting with n needed to sum to a Niven number. Jul 8, 2005
A112886 Triangle-free positive integers. Jan 12, 2006
A120007 Möbius transform of sum of prime factors of n with multiplicity. Jun 2, 2006
Even for sequences in the book predecessors to the OEIS, the ID numbers are not the same. The 1973 Handbook of Integer Sequences contained about 2400 sequences, which were numbered by lexicographic order (the letter N plus four digits, zero-padded where necessary), and the 1995 Encyclopedia of Integer Sequences contained 5487 sequences, also numbered by lexicographic order (the letter M plus 4 digits, zero-padded where necessary). These old M and N numbers, as applicable, are contained in the ID number field in parentheses after the modern A number.
Sequence data
The sequence field lists the numbers themselves, to about 260 characters.[21] More terms of the sequences can be provided in so-called B-files.[22] The sequence field makes no distinction between sequences that are finite but still too long to display and sequences that are infinite; instead, the keywords "fini", "full", and "more" are used to distinguish such sequences. To determine to which n the values given correspond, see the offset field, which gives the n for the first term given.
Name
The name field usually contains the most common name for the sequence, and sometimes also the formula. For example, 1, 8, 27, 64, 125, 216, 343, 512, (A000578) is named "The cubes: a(n) = n^3.".
Comments
The comments field is for information about the sequence that does not quite fit in any of the other fields. The comments field often points out interesting relationships between different sequences and less obvious applications for a sequence. For example, Lekraj Beedassy in a comment to A000578 notes that the cube numbers also count the "total number of triangles resulting from criss-crossing cevians within a triangle so that two of its sides are each n-partitioned", and Neil Sloane points out an unexpected relationship between centered hexagonal numbers (A003215) and second Bessel polynomials (A001498) in a comment to A003215.
References
References to printed documents (books, papers, ...).
Links
Links, i.e. URLs, to online resources. These may be:
  1. references to applicable articles in journals
  2. links to the index
  3. links to text files which hold the sequence terms (in a two column format) over a wider range of indices than held by the main database lines
  4. links to images in the local database directories which often provide combinatorial background related to graph theory
  5. others related to computer codes, more extensive tabulations in specific research areas provided by individuals or research groups
Formula
Formulas, recurrences, generating functions, etc. for the sequence.
Example
Some examples of sequence member values.
Maple
Maple code.
Mathematica
Wolfram Language code.
Program
Originally Maple and Mathematica were the preferred programs for calculating sequences in the OEIS, each with their own field labels. As of 2016, Mathematica was the most popular choice with 100,000 Mathematica programs followed by 50,000 PARI/GP programs, 35,000 Maple programs, and 45,000 in other languages.
As for any other part of the record, if there is no name given, the contribution (here: program) was written by the original submitter of the sequence.
Crossrefs
Sequence cross-references originated by the original submitter are usually denoted by "Cf."
Except for new sequences, the "see also" field also includes information on the lexicographic order of the sequence (its "context") and provides links to sequences with close A numbers (A046967, A046968, A046969, A046971, A046972, A046973, in our example). The following table shows the context of our example sequence, A046970:
A016623 3, 8, 3, 9, 4, 5, 2, 3, 1, 2, ... Decimal expansion of ln(93/2).
A046543 1, 1, 1, 3, 8, 3, 10, 1, 110, 3, 406, 3 First numerator and then denominator of the central
elements of the 1/3-Pascal triangle (by row).
A035292 1, 3, 8, 3, 12, 24, 16, 3, 41, 36, 24, ... Number of similar sublattices of Z4 of index n2.
A046970 1, −3, −8, −3, −24, 24, −48, −3, −8, 72, ... Generated from Riemann zeta function...
A058936 0, 1, 3, 8, 3, 30, 20, 144, 90, 40, 840,
504, 420, 5760, 3360, 2688, 1260
Decomposition of Stirling's S(n, 2) based on
associated numeric partitions.
A002017 1, 1, 1, 0, −3, −8, −3, 56, 217, 64, −2951, −12672, ... Expansion of exp(sin x).
A086179 3, 8, 4, 1, 4, 9, 9, 0, 0, 7, 5, 4, 3, 5, 0, 7, 8 Decimal expansion of upper bound for the r-values
supporting stable period-3 orbits in the logistic map.
Keyword
The OEIS has its own lexicon: a standard set of mostly four-letter keywords which characterizes each sequence:[23]
  • allocated – An A-number which has been set aside for a user but for which the entry has not yet been approved (and perhaps not yet written).
  • base – The results of the calculation depend on a specific positional base. For example, 2, 3, 5, 7, 11, 101, 131, 151, 181 ... A002385 are prime numbers regardless of base, but they are palindromic specifically in base 10. Most of them are not palindromic in binary. Some sequences rate this keyword depending on how they are defined. For example, the Mersenne primes 3, 7, 31, 127, 8191, 131071, ... A000668 does not rate "base" if defined as "primes of the form 2^n − 1". However, defined as "repunit primes in binary," the sequence would rate the keyword "base".
  • bref – "sequence is too short to do any analysis with", for example, A079243, the number of isomorphism classes of associative non-commutative non-anti-associative anti-commutative closed binary operations on a set of order n.
  • changed The sequence is changed in the last two weeks.
  • cofr – The sequence represents a continued fraction, for example the continued fraction expansion of e (A003417) or π (A001203).
  • cons – The sequence is a decimal expansion of a mathematical constant, such as e (A001113) or π (A000796).
  • core – A sequence that is of foundational importance to a branch of mathematics, such as the prime numbers (A000040), the Fibonacci sequence (A000045), etc.
  • dead – This keyword used for erroneous sequences that have appeared in papers or books, or for duplicates of existing sequences. For example, A088552 is the same as A000668.
  • dumb – One of the more subjective keywords, for "unimportant sequences," which may or may not directly relate to mathematics, such as popular culture references, arbitrary sequences from Internet puzzles, and sequences related to numeric keypad entries. A001355, "Mix digits of pi and e" is one example of lack of importance, and A085808, "Price is Right wheel" (the sequence of numbers on the Showcase Showdown wheel used in the U.S. game show The Price Is Right) is an example of a non-mathematics-related sequence, kept mainly for trivia purposes.[24]
  • easy – The terms of the sequence can be easily calculated. Perhaps the sequence most deserving of this keyword is 1, 2, 3, 4, 5, 6, 7, ... A000027, where each term is 1 more than the previous term. The keyword "easy" is sometimes given to sequences "primes of the form f(m)" where f(m) is an easily calculated function. (Though even if f(m) is easy to calculate for large m, it might be very difficult to determine if f(m) is prime).
  • eigen – A sequence of eigenvalues.
  • fini – The sequence is finite, although it might still contain more terms than can be displayed. For example, the sequence field of A105417 shows only about a quarter of all the terms, but a comment notes that the last term is 3888.
  • frac – A sequence of either numerators or denominators of a sequence of fractions representing rational numbers. Any sequence with this keyword ought to be cross-referenced to its matching sequence of numerators or denominators, though this may be dispensed with for sequences of Egyptian fractions, such as A069257, where the sequence of numerators would be A000012. This keyword should not be used for sequences of continued fractions; cofr should be used instead for that purpose.
  • full – The sequence field displays the complete sequence. If a sequence has the keyword "full", it should also have the keyword "fini". One example of a finite sequence given in full is that of the supersingular primes A002267, of which there are precisely fifteen.
  • hard – The terms of the sequence cannot be easily calculated, even with raw number crunching power. This keyword is most often used for sequences corresponding to unsolved problems, such as "How many n-spheres can touch another n-sphere of the same size?" A001116 lists the first ten known solutions.
  • hear – A sequence with a graph audio deemed to be "particularly interesting and/or beautiful", some examples are collected at the OEIS site.
  • less – A "less interesting sequence".
  • look – A sequence with a graph visual deemed to be "particularly interesting and/or beautiful". Two examples out of several thousands are A331124 A347347.
  • more – More terms of the sequence are wanted. Readers can submit an extension.
  • mult – The sequence corresponds to a multiplicative function. Term a(1) should be 1, and term a(mn) can be calculated by multiplying a(m) by a(n) if m and n are coprime. For example, in A046970, a(12) = a(3)a(4) = −8 × −3.
  • new – For sequences that were added in the last couple of weeks, or had a major extension recently. This keyword is not given a checkbox in the Web form for submitting new sequences; Sloane's program adds it by default where applicable.
  • nice – Perhaps the most subjective keyword of all, for "exceptionally nice sequences."
  • nonn – The sequence consists of nonnegative integers (it may include zeroes). No distinction is made between sequences that consist of nonnegative numbers only because of the chosen offset (e.g., n3, the cubes, which are all nonnegative from n = 0 forwards) and those that by definition are completely nonnegative (e.g., n2, the squares).
  • obsc – The sequence is considered obscure and needs a better definition.
  • recycled – When the editors agree that a new proposed sequence is not worth adding to the OEIS, an editor blanks the entry leaving only the keyword line with keyword:recycled. The A-number then becomes available for allocation for another new sequence.
  • sign – Some (or all) of the values of the sequence are negative. The entry includes both a Signed field with the signs and a Sequence field consisting of all the values passed through the absolute value function.
  • tabf – "An irregular (or funny-shaped) array of numbers made into a sequence by reading it row by row." For example, A071031, "Triangle read by rows giving successive states of cellular automaton generated by "rule 62."
  • tabl – A sequence obtained by reading a geometric arrangement of numbers, such as a triangle or square, row by row. The quintessential example is Pascal's triangle read by rows, A007318.
  • uned – The sequence has not been edited but it could be worth including in the OEIS. The sequence may contain computational or typographical errors. Contributors are encouraged to edit these sequences.
  • unkn – "Little is known" about the sequence, not even the formula that produces it. For example, A072036, which was presented to the Internet Oracle to ponder.
  • walk – "Counts walks (or self-avoiding paths)."
  • word – Depends on the words of a specific language. For example, zero, one, two, three, four, five, etc. For example, 4, 3, 3, 5, 4, 4, 3, 5, 5, 4, 3, 6, 6, 8, 8, 7, 7, 9, 8, 8 ... A005589, "Number of letters in the English name of n, excluding spaces and hyphens."
Some keywords are mutually exclusive, namely: core and dumb, easy and hard, full and more, less and nice, and nonn and sign.
Offset
The offset is the index of the first term given. For some sequences, the offset is obvious. For example, if we list the sequence of square numbers as 0, 1, 4, 9, 16, 25 ..., the offset is 0; while if we list it as 1, 4, 9, 16, 25 ..., the offset is 1. The default offset is 0, and most sequences in the OEIS have offset of either 0 or 1. Sequence A073502, the magic constant for n × n magic square with prime entries (regarding 1 as a prime) with smallest row sums, is an example of a sequence with offset 3, and A072171, "Number of stars of visual magnitude n." is an example of a sequence with offset −1. Sometimes there can be disagreement over what the initial terms of the sequence are, and correspondingly what the offset should be. In the case of the lazy caterer's sequence, the maximum number of pieces you can cut a pancake into with n cuts, the OEIS gives the sequence as 1, 2, 4, 7, 11, 16, 22, 29, 37, ... A000124, with offset 0, while Mathworld gives the sequence as 2, 4, 7, 11, 16, 22, 29, 37, ... (implied offset 1). It can be argued that making no cuts to the pancake is technically a number of cuts, namely n = 0, but it can also be argued that an uncut pancake is irrelevant to the problem. Although the offset is a required field, some contributors do not bother to check if the default offset of 0 is appropriate to the sequence they are sending in. The internal format actually shows two numbers for the offset. The first is the number described above, while the second represents the index of the first entry (counting from 1) that has an absolute value greater than 1. This second value is used to speed up the process of searching for a sequence. Thus A000001, which starts 1, 1, 1, 2 with the first entry representing a(1) has 1, 4 as the internal value of the offset field.
Author(s)
The author(s) of the sequence is (are) the person(s) who submitted the sequence, even if the sequence has been known since ancient times. The name of the submitter(s) is given first name (spelled out in full), middle initial(s) (if applicable) and last name; this in contrast to the way names are written in the reference fields. The e-mail address of the submitter is also given before 2011, with the @ character replaced by "(AT)" with some exceptions such as for associate editors or if an e-mail address does not exist. Now it has been the policy for OEIS not to display e-mail addresses in sequences. For most sequences after A055000, the author field also includes the date the submitter sent in the sequence.
Extension
Names of people who extended (added more terms to) the sequence or corrected terms of a sequence, followed by date of extension.

Sloane's gap

[edit]
Plot of Sloane's Gap: number of occurrences (y log scale) of each integer (x scale) in the OEIS database

In 2009, the OEIS database was used by Philippe Guglielmetti to measure the "importance" of each integer number.[25] The result shown in the plot on the right shows a clear "gap" between two distinct point clouds,[26] the "uninteresting numbers" (blue dots) and the "interesting" numbers that occur comparatively more often in sequences from the OEIS. It contains essentially prime numbers (red), numbers of the form an (green) and highly composite numbers (yellow). This phenomenon was studied by Nicolas Gauvrit, Jean-Paul Delahaye and Hector Zenil who explained the speed of the two clouds in terms of algorithmic complexity and the gap by social factors based on an artificial preference for sequences of primes, even numbers, geometric and Fibonacci-type sequences and so on.[27] Sloane's gap was featured on a Numberphile video in 2013.[28]

See also

[edit]

Notes

[edit]

References

[edit]

Further reading

[edit]
[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia
from Grokipedia
The On-Line Encyclopedia of Integer Sequences (OEIS) is a freely accessible online database that catalogs over 390,000 integer sequences, providing mathematicians, scientists, and researchers with a searchable repository to identify sequences encountered in their work, along with associated terms, formulas, references, and computational tools. Each entry typically includes 50 to 200 initial terms, generating functions, keywords for classification, and links to relevant literature or programs, enabling the discovery of patterns and connections across diverse fields like and . Founded by Neil J. A. Sloane in 1964 as a graduate student at , the OEIS originated as a personal collection of sequences on file cards to aid his research in . It progressed to punched cards by 1967, followed by the publication of the Handbook of Integer Sequences in 1973 (containing 2,372 sequences) and The Encyclopedia of Integer Sequences in 1995 with (5,487 sequences), before launching online in 1996 under Sloane's maintenance at . In 2009, intellectual property and hosting were transferred to the nonprofit OEIS Foundation Inc., which oversees its operation as a refereed wiki system introduced in 2010, supported by approximately 230 volunteer editors who review submissions. The OEIS has grown steadily, reaching over 300,000 entries by 2018 and continuing to expand by approximately 30 sequences per day through contributions of research-related material. Its significance lies in facilitating unexpected interdisciplinary links—such as tying a sequence from physics to one in —and it has been cited more than 11,000 times in scientific publications, underscoring its role as an indispensable tool for mathematical discovery. Features like keyword searches (e.g., "prime," ""), offset specifications, and integration with external resources further enhance its utility, while strict editorial guidelines ensure only well-defined, non-arbitrary sequences are included.

Overview

Definition and Purpose

The On-Line Encyclopedia of Integer Sequences (OEIS) is an repository cataloging finite and infinite sequences of integers, real numbers, and other mathematical objects, with a primary focus on integer sequences of interest to mathematicians and researchers. Each entry includes detailed metadata such as names, formulas, references, examples, comments, links to related resources, and programs for generating the sequences. The primary purpose of the OEIS is to function as a searchable reference tool for mathematicians, scientists, and enthusiasts, facilitating the identification and exploration of sequences encountered in , computations, or puzzles. It addresses the common challenge of recognizing patterns in numerical data by allowing users to input initial terms and retrieve matching sequences along with their properties and contexts. Founded in 1964 by Neil Sloane as a personal collection to support combinatorial , the OEIS has evolved into a vital resource for resolving sequence identification problems across various fields of . As of November 2025, it contains approximately 390,000 sequences and is maintained by the nonprofit OEIS Foundation Inc. This database serves as a "mathematical " for sequences, enabling rapid lookup, discovery, and connection to broader mathematical insights without requiring exhaustive manual searches.

Scope and Content

The On-Line Encyclopedia of Integer Sequences (OEIS) primarily encompasses integer sequences, including those comprising positive integers, negative integers, and zeros, drawn from diverse mathematical and scientific domains such as , , , and physics. These sequences represent enumerated or lists that arise in theoretical and applied contexts, providing a centralized repository for quick reference and discovery. For instance, the sequence of prime numbers (A000040) illustrates a fundamental number-theoretic progression, while the (A000108), which count combinatorial structures like correctly matched parentheses, exemplify applications in . Beyond strict integer lists, OEIS extends its scope to include non-integer content, such as real-number sequences, binary expansions of constants, and representations of permutation lists, broadening its utility for interdisciplinary research. Each sequence entry is enriched with supplementary data to facilitate understanding and computation, including descriptive comments, mathematical formulas (such as generating functions), sample programs in languages like Mathematica or Python, cross-references to related sequences, and bibliographic references to originating publications. This multifaceted approach emphasizes practical enumeration over abstract theory, allowing users to generate and verify terms efficiently. Notably, OEIS excludes direct proofs of conjectures or in-depth treatments of unsolved problems, instead providing hyperlinks to external resources where such discussions occur; the focus remains on verifiable, listed sequences rather than derivations or unproven assertions. For accessibility, sequence data is available in b-files—plain text files containing terms separated by delimiters—which can include up to millions of terms for computationally intensive entries, enabling offline analysis and integration with other tools.

History

Origins and Early Development

The origins of the On-Line Encyclopedia of Integer Sequences (OEIS) trace back to the mid-1960s, when mathematician Neil Sloane began systematically collecting integer sequences as part of his personal research. While pursuing graduate studies at , Sloane started in 1964 by recording sequences on 3” × 5” file cards, formalizing this effort in 1967 by transferring them to computer punched cards to support his work in and related fields. This initial compilation was driven by practical needs in Sloane's investigations, particularly in , where identifying patterns in sequences proved invaluable for problem-solving. By the early 1970s, Sloane's collection had grown substantially, leading to the publication of A Handbook of Integer Sequences in 1973 by . The handbook contained 2,372 sequences, primarily focused on combinatorial and number-theoretic examples, arranged in after omitting leading zeros and ones. It served as the direct precursor to the OEIS, providing the first comprehensive printed catalog of such sequences and enabling researchers to match their own computations against known patterns. Sloane's motivation stemmed from his professional role at Bell Laboratories, where he joined in 1969 and continued building the database amid his research in error-correcting codes and neural networks. Early development faced significant challenges due to the manual nature of maintenance and limited accessibility. Sloane managed the collection using punched cards, which required painstaking updates and corrections for errors from original sources, and he actively solicited contributions by placing notices in mathematical journals to expand the database. A key milestone came in the late , when the handbook achieved widespread adoption, fostering its recognition as an essential resource in .

Transition to Online Format

In 1994, Neil Sloane decided to digitize the integer sequence collection due to a surge in submissions that exceeded the capacity limits of the planned print edition, The Encyclopedia of Integer Sequences, which ultimately included only 5,487 entries upon its 1995 publication. This shift was necessitated by the rapid accumulation of new sequences, doubling the database size shortly after the book's release and rendering further print updates impractical. Building on Sloane's foundational work from the 1973 Handbook of Integer Sequences, the initial online version of the On-Line Encyclopedia of Integer Sequences (OEIS) launched in 1996, hosted on the AT&T Bell Labs website at http://www.research.att.com/~njas/sequences/.[](https://oeis.org/wiki/Timeline_of_the_OEIS) The early web implementation featured a basic search interface that allowed users to input the initial terms of a sequence to retrieve matching entries from the database, which then contained approximately sequences. This simple query mechanism marked a significant departure from the static print format, enabling dynamic access and facilitating broader contributions from the mathematical community. Sloane partnered with , who had co-authored the 1995 Encyclopedia, along with other collaborators, to handle and verification during this transition period. By the late , the OEIS expanded considerably, reaching over 50,000 sequences by , with enhancements such as dedicated author fields and program codes in multiple programming languages to generate sequence terms. Technical challenges included managing large b-files—text files storing extended sequence terms beyond the main entry limits—and maintaining as the collection moved from proprietary systems to a publicly accessible , ensuring no gaps or uncertain values in the core data sections. These hurdles were addressed through careful migration and validation processes to preserve accuracy amid growing global usage.

Expansion and Institutionalization

In 2009, the OEIS underwent significant institutional changes to secure its future sustainability. Concurrently, the OEIS Foundation Inc. was formally established as a non-profit organization in April 2009 to oversee long-term maintenance, governance, and financial support for the encyclopedia. Ownership was transferred to the foundation on October 26, 2009. In 2010, the OEIS moved from AT&T Labs to an independent commercial host, and a new website was launched. Sloane served as its president from inception, guiding its operations until transitioning to chairman in 2021; following his retirement from AT&T in 2012, he became a visiting scholar in the Mathematics Department at Rutgers University. The foundation now manages all aspects of the OEIS including server hosting and community outreach. The period from the mid-2000s onward saw rapid expansion in the OEIS's content, driven by an active global community of contributors and the adoption of automated submission tools. By , the database had reached sequences, reflecting accelerated growth from earlier decades, and surpassed 300,000 entries by 2018 through increased submissions from mathematicians, computer scientists, and hobbyists. This surge continued, with the collection exceeding 350,000 sequences by 2021, fueled by easier online contribution mechanisms and broader awareness in academic and circles. Key technical updates supported this growth, including the introduction of wiki-style editing in 2010, which allowed registered users to propose and review changes collaboratively via the OEIS wiki platform, streamlining the vetting process for new entries. Around the same time, search algorithms were refined to handle larger datasets more efficiently, incorporating advanced pattern-matching capabilities that improved retrieval accuracy for partial sequences or keywords. Further enhancements integrated the OEIS into computational workflows, boosting its utility for researchers. In the 2010s, built-in lookup functions were added to software like Mathematica, enabling direct queries of OEIS data within the environment for sequence identification and extension— for instance, via the OEISLookup command in the Wolfram Function Repository. By the 2020s, the database had surpassed 390,000 sequences as of November 2025, with ongoing developments including a public API for programmatic access, allowing developers to integrate OEIS queries into applications and scripts. Enhanced mobile responsiveness was also implemented, making the search interface more accessible on smartphones and tablets without dedicated apps, thereby broadening user engagement across devices. These advancements, under the OEIS Foundation's stewardship, have solidified the encyclopedia's role as a vital, community-driven resource in mathematics.

Structure and Conventions

Entry Components

Each OEIS entry follows a standardized format to ensure consistency and accessibility across its database of integer sequences. The core fields include the unique sequence identifier, known as the A-number, which consists of the letter "A" followed by a six-digit , such as A000045 for the . This identifier is assigned sequentially upon approval and remains permanent. The name or description provides a concise definition of the sequence, often using the notation a(n) to denote the nth term, for example, "Fibonacci numbers: a(n) = a(n-1) + a(n-2) for n>1, a(0)=0, a(1)=1." The initial terms are listed in %S and %T fields, providing at least 4 terms (ideally up to about 260 characters or 3 lines, extendable to ~500), separated by commas, such as "0,1,1,2,3,5,8,13,21,34" for the . The offset specifies the starting index, usually n=0 or n=1, formatted in the %O field as two numbers like "0,4" indicating the sequence begins at n=0 and the first term with absolute value at least 2 is at n=3. Supplementary fields enrich the entry with additional context and resources, denoted by percent signs followed by a letter code. The %C field contains comments, which include historical notes, properties, or applications, presented chronologically and signed by contributors with dates. The %F field details formulas, such as recurrence relations (e.g., a(n) = a(n-1) + a(n-2) for the ) or closed-form expressions like Binet's formula. Programs in the %P field offer computational implementations in languages like , , or Mathematica, also signed and dated to credit authors. The %A field credits the original author(s) and submission date, which is generally not altered post-approval. References in the %R field list offline sources like books or papers, alphabetized by author, while %L provides links to online resources, prioritizing b-files (binary term files) and sorted alphabetically. Cross-references in the %Y field connect to related sequences using "Cf." notation, such as "Cf. A000032" for Lucas numbers linked to . Keywords in the %K field use standardized terms like "nonn" for non-negative or "easy" for simple computations, aiding categorization. The %O field reiterates the offset for internal consistency. These fields interconnect to form a cohesive entry: the core definition and terms anchor the sequence, while supplementary sections provide verification, extensions, and broader context. For instance, in the (A000045), the name and formula in %F directly generate the listed terms, comments in %C reference historical origins and applications like tiling problems, and programs in %P allow independent recomputation of terms. An abridged example structure is as follows:

%I A000045 %S 0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181 %N Fibonacci numbers: a(n) = a(n-1) + a(n-2) for n>1, a(0)=0, a(1)=1. %T 6765,10946,17711,28657,46368,75025,121393,196418,317811,514229 %O Offset: 0,4 %C Generated with g.f. x/(1 - x - x^2). %C Appears in many combinatorial contexts, e.g., number of tilings of a 2xn board. %F a(n) = (phi^n - (-phi)^(-n)) / sqrt(5), where phi = (1+sqrt(5))/2. %P (PARI) a(n)=round((1.0+sqrt(5))^n/sqrt(5)) %A N. J. A. Sloane %R Koshy, T., Fibonacci and Lucas Numbers with Applications, Wiley, 2001. %L https://en.wikipedia.org/wiki/Fibonacci_number %Y Cf. A000032 (Lucas numbers). %K nonn,easy,core,nice

%I A000045 %S 0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181 %N Fibonacci numbers: a(n) = a(n-1) + a(n-2) for n>1, a(0)=0, a(1)=1. %T 6765,10946,17711,28657,46368,75025,121393,196418,317811,514229 %O Offset: 0,4 %C Generated with g.f. x/(1 - x - x^2). %C Appears in many combinatorial contexts, e.g., number of tilings of a 2xn board. %F a(n) = (phi^n - (-phi)^(-n)) / sqrt(5), where phi = (1+sqrt(5))/2. %P (PARI) a(n)=round((1.0+sqrt(5))^n/sqrt(5)) %A N. J. A. Sloane %R Koshy, T., Fibonacci and Lucas Numbers with Applications, Wiley, 2001. %L https://en.wikipedia.org/wiki/Fibonacci_number %Y Cf. A000032 (Lucas numbers). %K nonn,easy,core,nice

The %S and %T fields accommodate extended term lists, enabling longer sequences without cluttering the primary view. Terms are verified by editors for correctness, often using computational programs or published references, to ensure accuracy before approval. This rigorous process, overseen by editors, confirms that terms are correct and complete as presented.

Ordering and Indexing Rules

The sequences in the On-Line Encyclopedia of Integer Sequences (OEIS) are primarily ordered lexicographically based on their initial terms, treated as strings of absolute values, beginning from the first term where the magnitude is at least 2. This normalization ignores initial terms that are 0, 1, or -1, effectively shifting the starting point for comparison purposes to ensure consistent placement regardless of minor offset variations. For instance, the sequence of powers of 2 is ordered as , ... rather than including a leading 0 for 2^0 if defined that way, while the full entry retains the original terms and offset as submitted. Sequences are assigned unique identifiers known as A-numbers upon approval, forming a sequential catalog that begins with A000001 and extends to the current range beyond A390000, reflecting the database's growth to over 390,000 entries (specifically 390,332 as of November 2025). These A-numbers serve as permanent, immutable indexes and are allocated in the order of submission approval, not tied directly to the lexicographical position. Offset information, which specifies the index of the first term (e.g., n=0 or n=1), is recorded in each entry but does not influence the A-number assignment or overall database ordering. To facilitate categorization and filtering, OEIS employs a system of keywords applied to entries, such as "easy" for sequences with straightforward term generation, "hard" for those where extending terms is challenging, "nice" for particularly elegant or significant sequences, "more" to request additional terms, and "ref" to highlight key references. These keywords enable users to sort or query the database thematically, beyond the primary lexicographical arrangement. Uniqueness is enforced rigorously to prevent duplicates; all new submissions are automatically checked against the existing database using search algorithms that compare normalized initial terms, ensuring no redundant entries are added. If a proposed sequence matches an existing one under the normalization rules, it is rejected or merged via comments rather than creating a new A-number.

Inclusion of Non-Standard Sequences

The On-Line Encyclopedia of Integer Sequences (OEIS) primarily focuses on sequences of s but accommodates non-standard types, such as representations of real numbers, rational fractions, and complex numbers, by converting them into integer proxies to preserve searchability and consistency with its core structure. For instance, irrational numbers like π are included via their digit expansions, as in A000796, which lists the digits after the decimal point starting from 3.14159..., treated as a sequence of single-digit s. Similarly, binary expansions of constants, such as π in A004601 (e.g., binary digits 1,1,0,0,1,0,0,1,... after the leading 11.), are encoded as sequences of 0s and 1s interpreted as terms. This inclusion of non-integer types stems from the need to document broader mathematical patterns, including expansions of irrationals, continued fractions, and multi-part numbers, without compromising the database's ability to index and retrieve sequences via finite prefixes. Rational fractions, for example, are systematically split into paired integer sequences for numerators and denominators in , both flagged with the "frac" keyword for cross-referencing; the Bernoulli numbers appear this way in A000367 (numerators) and A002445 (denominators). Complex numbers follow analogous conventions, with real and imaginary parts often stored separately as integer sequences, as seen in A076341 for the imaginary parts of a multiplicatively defined function on primes. Permutation sequences, while inherently integer-based, are treated as ordered lists of integers, such as the representations in A000142. Specific conventions ensure these non-standard sequences align with OEIS's integer-centric framework: fractions require coprime numerator-denominator pairs, decimal expansions omit the integer part for numbers less than 1 (e.g., digits of 1/√2 in A002194), and non-decimal bases like binary are justified explicitly. Ordering and indexing adapt accordingly, such as treating decimal expansions as lexicographical strings for comparison, extending the general principles for sequences. However, strict limitations apply to maintain enumerability and finite-prefix searchability: direct entries of or transcendental values (e.g., π itself multiplied by n) are disallowed as non-rational, and continuous functions without discrete integer representations are excluded. Only verifiable, pattern-based proxies are accepted, ensuring all content remains computationally tractable and aligned with OEIS's emphasis on integer-like discreteness.

Special Phenomena

Self-Referential Sequences

Self-referential sequences in the On-Line Encyclopedia of Integer Sequences (OEIS) are those whose terms are defined in terms of the database itself or its structural properties, such as the number of sequences with a given number of terms or characteristics of their identifiers. These sequences highlight meta-mathematical aspects by incorporating the OEIS as part of their generation rule, creating dependencies on the evolving collection of entries. One example is the concept of sequences counting properties of the database, such as statistical distributions of entries. Such sequences rely on snapshots of the OEIS at the time of submission to ensure consistency. Key examples include sequences like A114134, a self-referential digit sequence where the a(n)-th digit is 1 and the sequence is increasing with no other 1's appearing earlier, and A047841, autobiographical numbers that self-describe their own digit composition. These illustrate how the OEIS can be queried to generate terms that reflect its internal composition or self-descriptive properties. These sequences present challenges, including the potential for paradoxes arising from self-dependency or alterations due to database updates, such as new sequences being added or existing ones extended. To mitigate this, terms are typically fixed based on the state of the OEIS at the time of submission, preserving the integrity of the definition. The OEIS includes numerous such self-referential sequences, underscoring the database's capacity for and its role in exploring intersections between and . This growth reflects the community's interest in meta-properties, blending mathematical curiosity with computational cataloging.

Sloane's Gap

Sloane's Gap refers to a distinctive void observed in the distribution of frequencies within the On-Line Encyclopedia of Integer Sequences (OEIS). When plotting the number of occurrences N(n)N(n) of each positive nn across all sequences in the database against nn itself, the points form a decreasing cloud that splits into two distinct clusters separated by a clear, roughly diagonal gap. This phenomenon becomes pronounced for nn above approximately , where numbers with low N(n)N(n) (deemed "uninteresting") lie below the gap, while those with unexpectedly high N(n)N(n) (considered "interesting") appear above it. The gap highlights an irregularity in how sequences are contributed and selected for inclusion, reflecting both mathematical patterns and human biases in mathematical research. The gap was first identified in 2009 by Philippe Guglielmetti through an analysis of the OEIS database, who named it "Sloane's Gap" in recognition of Neil Sloane, the encyclopedia's founder. At the time, the database contained around 140,000 sequences, and Guglielmetti's visualization revealed that about 18.2% of integers between 301 and 10,000 fell above the gap, including nearly all primes (99.7%) and a majority of perfect squares (95.2%). Sloane himself acknowledged the observation, noting its intriguing implications for understanding sequence contributions. Subsequent studies confirmed the gap's persistence as the OEIS grew, with analyses up to showing it separating numbers based on their perceived mathematical significance rather than pure algorithmic complexity. Explanations for the gap combine mathematical and social elements. Mathematically, the overall decrease in N(n)N(n) follows from the rarity of large numbers in typical integer sequences, aligning with predictions from , which suggests a smooth distribution without a void. However, the gap arises primarily from social factors: mathematicians tend to submit and prioritize sequences involving "simple" small numbers or "complex" large or specially structured numbers (like primes or factorials), while overlooking those with medium values that lack standout . This selective interest creates the bifurcation, as evidenced by the overrepresentation of certain classes above the gap and underrepresentation below it. Preemptive algorithmic models alone fail to replicate the void, underscoring the human element in curating the OEIS. The implications of Sloane's Gap extend to the broader study of mathematical culture and database dynamics. It illustrates challenges in maintaining an objective repository amid subjective contributions, as the encyclopedia's growth—over 390,000 sequences as of November 2025—continues to widen the gap for larger nn. The phenomenon has inspired further research into "interestingness" metrics and visualizations of OEIS evolution over time. Ultimately, it demonstrates how large-scale enumerative efforts reveal unintended patterns shaped by community preferences, offering insights into the .

Usage and Features

Searching and Retrieval Methods

The primary method for searching the On-Line Encyclopedia of Integer Sequences (OEIS) involves entering the initial terms of a sequence into the web form on oeis.org, typically 5 to 10 terms separated by commas, such as "1,1,2,3,5" for the starting from the first two 1s. This numeric search identifies matching sequences by comparing the provided terms against the initial segments stored in the database, with the system recommending around six terms to balance accuracy and avoid overly restrictive queries. The search supports wildcards, where a single () represents any single number and a double (__) denotes any sequence of numbers, allowing flexible like "1,2,,4" to find sequences with those elements in order. Advanced search options extend beyond numeric input to include keyword searches for thematic filtering, such as "prime" to retrieve sequences related to prime numbers, and author filters like "author:Guy" to limit results to contributions by specific individuals. Full-text search applies to comments, references, and descriptions within entries, enabling queries for conceptual terms or phrases enclosed in quotes, such as "." Users can exclude results using a minus sign, for example "-seq:5" to omit sequences containing the number 5, and download b-files—plain text files of extended sequence terms—for local computation or analysis. Retrieval interfaces encompass the primary web form at oeis.org, which supports direct queries by sequence ID (e.g., A000045 for Fibonacci numbers) or A-number searches. An API provides programmatic access through the /search endpoint, returning results in JSON format by appending "&fmt=json" to queries, such as https://oeis.org/search?q=1,1,2,3,5&fmt=json, facilitating automated retrieval of sequence data including terms, formulas, and references. Integrations with mathematical software include SageMath, where the oeis() function queries the database by initial terms, ID, or text description, returning OEISSequence objects with methods to access extended terms, comments, and cross-references. Python libraries like python-oeis and PyOEIS offer similar wrappers for searching and parsing OEIS data within scripts. For effective searches, providing at least six terms enhances uniqueness, as shorter inputs may yield multiple ambiguous matches, which can be resolved by considering sequence offsets—the starting index indicated in entries—to align terms correctly. Cleaning input sequences by removing leading zeros, dividing by common factors, or converting multidimensional arrays to one-dimensional form (e.g., reading rows) improves match rates.

Contribution Process

The contribution process for the On-Line Encyclopedia of Integer Sequences (OEIS) is designed to maintain high standards of accuracy and relevance while encouraging broad participation from the mathematical community. To submit a new sequence, contributors must first create an account by requesting one through the OEIS wiki and then log in to access the submission form at oeis.org/edit/new. The form requires a minimum of four terms (ideally more to aid identification), a concise mathematical description using standard notation like a(n) for the nth term, at least one or self-contained program (e.g., in or Mathematica) to generate the sequence, and references to support the entry's validity. Additional fields for comments, examples, keywords, and cross-references enhance the entry's utility, and all submissions must adhere to the OEIS Contributor's License Agreement, granting perpetual rights for inclusion and distribution. Upon submission, the proposed entry receives an automatic A-number and enters an initial editing stage, where the contributor can refine it before marking it ready for review—typically within a week to ensure completeness. The review process is moderated by a volunteer of experienced mathematicians, overseen by the and Editors-in-Chief, who evaluate submissions for novelty (by searching the database to confirm the sequence is not already present), accuracy (requiring verification from at least two independent sources where possible), and compliance with OEIS conventions such as clear definitions and avoidance of redundant or trivial content. Reviews may take from minutes to several months due to high submission volumes (often over 100 per day), during which editors communicate via a private pink comment box to request clarifications or suggest improvements; incomplete or erroneous entries are returned to the contributor for revision. Once approved, the sequence is published, and b-files for extended terms (up to 20,000 or more) can be uploaded separately if needed. Editing existing entries follows a wiki-like model accessible only to logged-in approved users, allowing updates to terms, programs, or while preserving the original submission date and author credits. All changes are version-controlled, logged with timestamps and user signatures, and reversible to uphold the database's integrity as a reliable reference. Key guidelines emphasize factual rigor: conjectures must be supported by evidence and clearly distinguished from proven results (e.g., listing only verified terms in the data field and noting extensions in comments), with a strong preference for infinite sequences of broad mathematical interest over finite or arbitrary ones. Multiple authors receive joint credit in the field, and contributors are encouraged to sign edits with their name and date using ~~~~ for traceability. The OEIS thrives on its community-driven nature, with discussions of potential sequences and collaborative development occurring through dedicated forums like the Sequence Fans Mailing List (seqfan), which facilitates idea-sharing among enthusiasts and experts. This volunteer ecosystem, bolstered by the editorial board's oversight, ensures the database's growth—adding 30 to 60 sequences daily—while upholding encyclopedic quality.

Impact and Legacy

Applications in Mathematics and Beyond

The On-Line Encyclopedia of Integer Sequences (OEIS) serves as a vital resource in mathematical research by enabling the identification of patterns in complex proofs and computations. For instance, in and , researchers use OEIS to verify sequences arising from partition functions, such as A000041, which enumerates the number of unrestricted partitions of n and has applications in generating conjectures about asymptotic behaviors and congruences. Similarly, sequences like those related to Wolstenholme's in combinatorial number theory (e.g., A000041 variants) facilitate pattern recognition that leads to new hypotheses, as demonstrated in automated tools for synthesizing programs from OEIS data. OEIS acts as a "fingerprint file for ," allowing verification of computational outputs and acceleration of discoveries in areas like . In education, OEIS supports sequence exploration in classrooms, particularly at the K-12 level, where it aids in developing problem-solving skills through interactive examples like the number of ways to tile a 2xn board (A001333) or the n-queens problem (A000170). Educators integrate OEIS into curricula to foster conceptual understanding, such as using Fibonacci-related sequences (A000045) for in . Conferences like the Integer Sequences K-12 workshop have curated sequences for pedagogical use, emphasizing accessible entry points for students to engage with advanced topics without exhaustive derivations. Beyond , OEIS extends to interdisciplinary fields, including physics, where sequences model quantum phenomena, such as the number of non-vanishing Feynman diagrams in (A005413) or Green functions in (A034997). In , it captures genomic and structural patterns, like the number of phylogenetic trees with n labeled leaves (A000311) or arrangements in icosahedral capsids (A003136), aiding in evolutionary modeling and molecular analysis. applications include algorithm outputs, such as circuit designs (A002631) and planning estimation values (A193616), while puzzles like those in often reference OEIS sequences for efficient solutions, as seen in problems involving resilient fractions (A160598). A notable is Thomas Nicely's use of OEIS for computations, where sequences like A007053 tracked first occurrences of large gaps up to 2e16, contributing to discoveries in prime distribution. OEIS's free and democratizes research, with over 11,000 academic works citing it across disciplines, as of , promoting collaborative verification and generation without barriers. This has amplified its impact, as evidenced by its role in over 78000 sequence programs synthesized via self-learning algorithms, enhancing computational efficiency in diverse applications.

Recognition and Cultural Significance

Neil Sloane, the creator of the On-Line Encyclopedia of Integer Sequences (OEIS), has received significant recognition for his contributions to , including the 1979 Chauvenet Prize from the for an outstanding expository article. His work on the OEIS has amassed over 78,000 citations on as of 2025, reflecting its profound influence across mathematical research. The OEIS has permeated mathematical culture, notably through "Sloane's Gap," a distinctive sparsity in the distribution of sequence complexities within the database, which has become a topic of analysis in academic papers and a point of discussion in online math communities as a illustrating social and cognitive biases in sequence selection. This phenomenon highlights the OEIS's role in revealing patterns not just in numbers but in mathematical creativity itself. The database has inspired analogous resources, such as specialized collections for partition-related sequences, extending its model to niche areas of . Institutionally, the OEIS maintains ties with bodies like the , which has featured Sloane's leadership of the OEIS Foundation in its publications. As of 2025, Sloane continues as chairman of the OEIS Foundation, which was established in 2009 to ensure the database's long-term sustainability.

References

Add your contribution
Related Hubs
User Avatar
No comments yet.