Explore projects

Foundations of Units and Quantities.

magic squares and their friends

special numbers in SMGloM

FormalCAD Project Content

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

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

The SMGloM modules for geometry

Homework/Quiz problems for AI lectures

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

The Course General ICT at Jacobs University

The SMGloM modules for calculus

Number Theoretic Identities