A Semantic Multilingual Glossary for Mathematics.

FormalCAD Project Content

The glossary entries Chevahir did. May be useful at some point.

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

The slides and course notes of the course Computational Logic.

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

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

Slides and notes for talks held by Michael Kohlhase

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

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

The slides and course notes for the course Statistics at Jacobs University

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

A Semantic Multilingual Glossary for Mathematics.

FormalCAD Project Content

The language meta-level of SMGloM

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