The "Math in the Middle" (MitM) Ontology, a high-level formalization of Mathematics.
Formalizations for the ALMANAC Project (Argumentation Logics Manager & Argument Context Graph)
Core formalizations of (elementary) mathematics in MMT
The logical foundation(al theories) used by MitM projects
INFRASTRUCTURE: the meta information for the Math-in-the-Middle Ontology
EXPERIMENTAL: Formalizing Mathematical Models as Research Data
EXPERIMENTAL: Requriements Analysis for a future Foundation for MitM.