Elementary set theory for the SMGloM

Number Theoretic Functions

Number Theory

The SMGloM modules for geometry

Basic concepts about computers and programming

The SMGloM modules for calculus

The course materials for the Lecture Logic Based Language Processing at FAU

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

The slides and course notes of the course General Computer Science at Jacobs University.

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

A MMT counterpart to the elementary math in SMGloM

Examples for Grammatical Logical Framework (GLF)

Subglossary of primes in SMGloM

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

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