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 "Logik-Basierte 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 meta-level 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