The slides and course notes of the course Computational Logic.

The slides and course notes of the course Computational NL Semantics.

Slides and notes for talks held by Michael Kohlhase

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

The slides and course notes of the course General Computer Science at Jacobs University.

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

Basics about KWARC, FAU, Jacobs, etc. and other missing stuff.

The slides and course notes for the course Text and Digital Media at Jacobs University

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

The SMGloM modules for elementary algebra.

The SMGloM modules for calculus

The SMGloM modules on linear algebra.

Foundations of Units and Quantities.

Basic concepts about computers and programming

Elementary set theory for the SMGloM

Number Theory

FormalCAD Project Content

Number Theoretic Functions