Explore projects

A Semantic Multilingual Glossary for Mathematics.

The IWGS Training Problems

A MMT counterpart to the elementary math in SMGloM

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

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

for now seeded with ODK/math content

DEPRECATED: Interface theories for expression translation

DEPRECATED: Group Theory (computational and otherwise)

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.

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.