The meta-theory and system-level knowledge and specifications for the knowledge-based integration of mathematical software systems like GAP, PARI, SAGE, Singular and mathematical data based like the LMFDB, OEIS, Findstat into a mathematical virtual research environment in the OpenDreamKit project.

The MitM foundation has been used in the MaMoRed Project on the formalization of mathematical models

Details on the features and best practices can be found on the MitM Foundation Wiki.

**Responsible: **d.mueller@kwarc.info

- Views:
- Theories:
- Definitions:
- Constants:
- Files:
- OMDoc size: K
- Source size: K

- Dimensions.omdoc
- QuantityExpressions.omdoc
- math.omdoc