Slides and notes for talks held by Michael Kohlhase

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

The metadata for the HelloWorld project at MathHub.info

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

FormalCAD Project Content

The SMGloM modules for elementary algebra.

special numbers in SMGloM

The SMGloM modules on linear algebra.

The SMGloM modules for calculus

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

Graph Theory Modules in SMGloM

Number Theoretic Identities

Elementary set theory for the SMGloM

The SMGloM modules for geometry

Subglossary of primes in SMGloM