Explore projects

OMDoc/MMT Tutorial for Mathematicians

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

LMFDB Knowls exported to sTeX.

temporary home for the EOSC proposal.

The slides and course notes of the course General Computer Science at Jacobs University.

Documentation about the SMGloM

The slides and course notes of the course General Computer Science at Jacobs University.

A Semantic Multilingual Glossary for Mathematics.