Definition
The Online Encyclopedia of Integer Sequences — a giant catalog of number patterns mathematicians have studied.
The Online Encyclopedia of Integer Sequences, a large database of integer sequences with cross-references and conjectures; used as a source of open mathematical conjectures for AI-driven formal proof search.
Also called: Online Encyclopedia of Integer Sequences