Explore GitLab
Discover projects, groups and snippets. Share your projects with others

The SMGloM modules for elementary algebra.


The SMGloM modules on linear algebra.

Foundations of Units and Quantities.


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

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

Elementary set theory for the SMGloM

The slides and course notes for the course Text and Digital Media at Jacobs University

The course on Secure and Dependable Systems.

Terminology in Computer Science

KRMT SS2017


OMDoc/MMT Tutorial for Mathematicians

The language metalevel of SMGloM


FormalCAD Project Content

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

The SMGloM modules for topology

special numbers in SMGloM