Explore projects

The language meta-level of SMGloM

Subglossary of primes in SMGloM

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

Tom's guided research project

Demonstrations and Examples for sTeX

the standard library

A Semantic Multilingual Glossary for Mathematics.

Demos for OpenDreamKit WP6

The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection