The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

Terminology in Computer Science

Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.

Paradigmatic examples of MMT content. They are used for development and regression testing.

The Course General ICT at Jacobs University

The SMGloM modules for elementary algebra.

Examples for Grammatical Logical Framework (GLF)

The knowledge for integrating the GAP system into the OpenDreamKit virtual Research Environment.

version 2 of the LATIN atlas

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

The slides and course notes for the course Artificial Intelligence at Jacobs University

The SMGloM modules on linear algebra.

The SMGloM modules for calculus

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

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

The slides and course notes of the course Computational Logic at Jacobs University.