Explore projects

A Semantic Multilingual Glossary for Mathematics.

The probems for the SecDep course

The discussion problems for the plenary sessions of the AI-1/2 courses at FAU.

The IWGS Training Problems

The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.

The course on Secure and Dependable Systems.

This export of the MML is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.

DEPRECATED: Group Theory (computational and otherwise)

DEPRECATED: Interface theories for expression translation

A MMT counterpart to the elementary math in SMGloM

for now seeded with ODK/math content

The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.

see https://mathhub.info/smglom/arithmetics

A bite-sized fragment of the MML used for Testing and Development This is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.