Explore projects

The Formalizations for the UFrameIT-based serious game FrameWorld.

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

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

Graph Theory Modules in SMGloM

The SMGloM modules on linear algebra.

The staging ground for Theresa's SMGloM contributions

The SMGloM modules for calculus

The SMGloM modules for topology

Terminology in Computer Science