Explore projects

Graph Theory Modules in SMGloM

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

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

OMDoc/MMT Tutorial for Mathematicians

Slides and notes for talks held by Michael Kohlhase

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

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

Elementary set theory for the SMGloM

The SMGloM modules on linear algebra.

Number Theory

The SMGloM modules for elementary algebra.

The SMGloM modules for topology

trigonometric functions

Subglossary of primes in SMGloM

special numbers in SMGloM