Explore projects

The SMGloM modules for topology

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

The SMGloM modules on linear algebra.

Applications of SMGloM, a semantic multilingual resource for mathematics -- glossaries and dictionaries.

This SMGloM repository contains modules specifying manifolds and their properties.

The glossary entries Chevahir did. May be useful at some point.