The ISFA project is a database of Integer Sequence Formulas and Applications. The integer sequence formulas are parsed from the OEIS.
A more detailed report can be found here.
The ISFA is currently composed of:
- A parser for math formulas found in the OEIS.
- A program that finds relations between OEIS's sequences. Relations in simple text format (due to space limitations) are available here.
- A MathWebSearch instance for OEIS's documents (thanks to Mihnea Iancu).
- A parser for an improved formula language for the OEIS.
- A SageMath module for OEIS's generating functions.
Head to this thesis to learn more.
- BSc thesis
- Enxhell Luzhnica, Michael Kohlhase - Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences. ICMS 2016: 467-475
- E. Luzhnica, M. Iancu and M. Kohlhase (2015-10) Importing the OEIS library into OMDoc. In Proceedings of the LWA 2015 workshops: KDML, FGWM, IR, and FGDB, R. Bergmann, S. Görg and G. Müller (Eds.), pp. 296–303