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.
- Size: K
- Math in the Middle - SMGloM parity
A partial formalization of the SMGloM material
- Math in the Middle Foundation (specifying the math language level)
The logical foundation for all Math-in-the-Middle theories