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

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

Logic Atlas, Version 2

Elementary set theory for the SMGloM

The SMGloM modules on linear algebra.

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

The SMGloM modules for elementary algebra.

The SMGloM modules for calculus

The IWGS Training Problems

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.

Slides and notes for talks held by Michael Kohlhase

The metadata for the MiKoMH project at MathHub.info

The slides and course notes of the course Computational Logic.

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

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

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

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