Explore projects

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

The Course General ICT at Jacobs University

The SMGloM modules on linear algebra.

Logic Atlas, Version 2

An SMGloM Archive for Logic

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

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

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

Number Theoretic Identities

The SMGloM contributions of Jukka Kohonen.

Number Theory

The staging ground for Theresa's SMGloM contributions