Explore projects

The SMGloM modules on linear algebra.

Semantic Multilingual (one day...) Glossary of the Law

Units and Measurements

The MMT repository for the LBS course in WS 2018/19

GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.

Active documents with models