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.
It contains the following archives:

• Foundation provides a comprehensive logical langauge for the formalization of mathematics.
• Core covers elementary concepts from across matheamtics.
• Models with experiments from matheamticsl modeling and simulation.