The Math-in-the-Middle Ontology is a curated theory-graph representation of mathematical knowledge that serves as an integrating ontology for mathematical software systems and services.

**Responsible: **kohlhase@kwarc.info

- Archives:
- Views:
- Theories:
- Definitions:
- Constants:
- Files:
- Size: K

- Math in the Middle - SMGloM parity
A partial formalization of the SMGloM material

- Interface Theories for Theorem Prover Libraries Interface theories make alignments star-shaped
- Math in the Middle Foundation (specifying the math language level)
The logical foundation for all Math-in-the-Middle theories

- A case study for representing mathematical models
A case study for representing mathematical models.