Explore projects

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

Graph Theory Modules in SMGloM

The SMGloM modules on linear algebra.

The SMGloM modules for calculus

The SMGloM modules for topology

Terminology in Computer Science

This SMGloM repository contains modules specifying manifolds and their properties.

Subglossary of primes in SMGloM