Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The IWGS glossary
-
The metadata for the MiKoMH project at MathHub.info
-
-
The logical foundation(al theories) used by MitM projects
-
-
Foundations of Units and Quantities.
-
-
The Course General ICT at Jacobs University
-
The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.
-
The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
-
OMDoc/MMT Tutorial for Mathematicians
-
KRMT SS2017
-
The Slides and Course Notes of the Course Advanced Computer Science at Jacobs University.
-
The course on Secure and Dependable Systems.
-
EXPERIMENTAL: Formalizing Mathematical Models as Research Data
-
INFRASTRUCTURE: the meta information for the Math-in-the-Middle Ontology
-
Active documents with models
-
The metadata for the MaMoReD project at MathHub.info
-
-
The SMGloM modules for elementary algebra.