Explore projects

Documentation about the SMGloM

A Semantic Multilingual Glossary for Mathematics.

Elementary set theory for the SMGloM

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

The problems for the lecture Logic Based Language Processing at FAU

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

OMDoc/MMT Tutorial for Mathematicians

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

LMFDB Knowls exported to sTeX.

The homework assignments and exams for the LBS course at FAU (public)