The SMGloM modules for topology

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

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

The beginnings of an online self-test for the Master AI at FAU

The IWGS Training Problems

FormalCAD Project Content

The IWGS glossary

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

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

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

The Course General ICT at Jacobs University

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

The discussion problems for the plenary sessions of the AI-1/2 courses at FAU.

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

Basic concepts about computers and programming

Elementary physics

The SMGloM modules for geometry