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

Logic Atlas, Version 2

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

The SMGloM modules for topology

Elementary set theory for the SMGloM

Subglossary of primes in SMGloM

Number Theory

special numbers in SMGloM

The SMGloM modules on linear algebra.

Basic concepts about computers and programming

The SMGloM modules for calculus

Paradigmatic examples of MMT content. They are used for development and regression testing.

Examples from the course Knowledge Representation for Mathematical Theories (https://kwarc.info/courses/KRMT/) given by Kohlhase and Rabe at University Erlangen-Nuremberg in Summer 2020.

The language meta-level of SMGloM

The SMGloM modules for elementary algebra.