Slides and notes for talks held by Michael Kohlhase

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

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

The slides and course notes of the course Computational Logic.

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

The Course General ICT at Jacobs University

The metadata for the MiKoMH project at MathHub.info

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

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

Elementary set theory for the SMGloM

A math archive with the KWARC bibs from https://github.com/KWARC/bibs

OMDoc/MMT Tutorial for Mathematicians

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

Documentation about the SMGloM

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

a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group

temporary home for the EOSC proposal.