Explore GitLab
Discover projects, groups and snippets. Share your projects with others

KRMT SS2017

Number Theoretic Functions

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

magic squares and their friends

Basic concepts about computers and programming



The slides and course notes of the course Computational NL Semantics at Jacobs University.

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

The SMGloM modules for calculus

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

Claudio's Code and potentially other things.

The SMGloM modules for elementary algebra.

The Course General ICT at Jacobs University

The metadata for the MiKoMH project at MathHub.info


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


The language metalevel of SMGloM

Number Theoretic Identities