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 meta-level of SMGloM

Number Theoretic Identities