Explore projects

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.

The problems of the course General Computer Science at Jacobs University.

The problems for the course Computational Logic at Jacobs University

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 problems for the course Text and Digital Media at Jacobs University

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.