The On-Line Encyclopedia of Integer Sequences
classification
🧮 math.CO
math.NT
keywords
sequencesencyclopediaintegeroeison-linesequencearrangedarticle
read the original abstract
This article gives a brief introduction to the On-Line Encyclopedia of Integer Sequences (or OEIS). The OEIS is a database of nearly 90,000 sequences of integers, arranged lexicographically. The entry for a sequence lists the initial terms (50 to 100, if available), a description, formulae, programs to generate the sequence, references, links to relevant web pages, and other information.
This paper has not been read by Pith yet.
Forward citations
Cited by 1 Pith paper
-
A Greatest Common Divisor Criterion of Certain Binomial Coefficients
Proves D(k)=1 iff n/P > P for n=k+1 and P the largest prime power dividing n, with both natural-language proof and Lean formalization generated by an AI agent.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.