Explore projects

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

Active documents with models

OMDoc export of the Archive of Formal Proofs

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

The concepts from the AI lecture at MiKoMH/AI

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

The SMGloM modules for elementary algebra.

The SMGloM modules for elementary algebra.

The SMGloM modules for elementary algebra.

Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)