Explore projects

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

The language meta-level of SMGloM

thesis docs

Graph Theory Modules in SMGloM

Documentation about the SMGloM

Meta-information for the TPS library

Elementary set theory for the SMGloM

Elementary set theory for the SMGloM

Units and Measurements

Elementary set theory for the SMGloM

A Semantic Multilingual Glossary for Mathematics.

An example for the MathHub Worker

An example for the MathHub Worker

An hello world repository for problems and exams for the MathHub worker.

MMT example

The SMGloM modules for topology