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.
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.