Explore projects

The SMGloM modules for calculus

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

The SMGloM modules for topology

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.

User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.