Explore projects

sub-library of OEIS for testing

The repository for the MWS-based, text and formula, search system for OEIS

The Problems for the course General ICT at Jacobs University

thesis docs

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group

The meta information of the OEIS at MathHub.info