Explore projects

OMDoc/MMT Tutorial for Mathematicians

The Theories for the LMFDB data base.

Graph Theory Modules in SMGloM

Basics about KWARC, Jacobs, etc. and other missing stuff.

The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen