Formula semantification and automated relation finding in the on-line encyclopedia for integer sequences

Abstract

The On-line Encyclopedia of Integer Sequences (OEIS) is an important resource for mathematicians. The database is well-structured and rich in mathematical content but is informal in nature, so knowledge management services are not directly applicable. In this paper we provide a partial parser for the OEIS that leverages the fact that, in practice, the syntax used in its formulas is fairly regular. Then, we import the result into OMDoc to make the OEIS accessible to OMDoc-based knowledge management applications.We exemplify this with a formula search application based on the MathWebSearch system and a program that finds relations between the OEIS sequences.