Explore projects

The SMGloM modules for elementary algebra.

Elementary set theory for the SMGloM

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

The SMGloM modules for geometry

special numbers in SMGloM

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

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

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

Number Theoretic Functions

FormalCAD Project Content

The problems for the course Text and Digital Media at Jacobs University

Graph Theory Modules in SMGloM

The SMGloM modules on linear algebra.

The SMGloM modules for calculus