THODS - OEIS Semantified

The On-line Encyclopedia of Integer Sequences (OEIS) is an important resource for mathematicians. This dataset provides the first result of semantifying – i.e., recovering machine-actionable representations – the OEIS data as an open dataset organized along the tetrapod model of mathematical knowledge (https://kwarc.info/projects/tetrapod/). As this is an ongoing project, please refer to the list below for details about the dataset contents. THODS computation source code snippets computing the sequence with additional information about author, language and date (xml) inference export of a MongoDB database (gf.json) - generating functions are harvested, and the harvest is validated by evaluating them with SageMath and comparing them to the OEIS data conversion of generating functions to the OpenMath format (xml) narration extraction of comments, sequence name and code contributors (xml) organization results of entering authors, users, and references into the specific zbMATH API, matching them to their zbMATH identifier (rdf) a table containing all mentions of a sequence in all other sequences tabulation harvest of the integer sequences themselves (csv) source a snapshot of the OEIS from 2020 (txt)