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)