Explore projects

A Semantic Multilingual Glossary for Mathematics.

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.

temporary home for the EOSC proposal.

LMFDB Knowls exported to sTeX.

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

OMDoc/MMT Tutorial for Mathematicians

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

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

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

The problems for the lecture Logic Based Language Processing at FAU