Explore projects

Elementary set theory for the SMGloM

Elementary set theory for the SMGloM

A Semantic Multilingual Glossary for Mathematics.

Elementary set theory for the SMGloM

Documentation about the SMGloM

Graph Theory Modules in SMGloM

thesis docs

The language meta-level of SMGloM

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

The slides and course notes of the course Computational Logic at Jacobs University.

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

FormalCAD Project Content

A Semantic Multilingual Glossary for Mathematics.

A Semantic Multilingual Glossary for Mathematics.