The virtual theories of the symmetric objects data collection.
sTeX Descriptions of the VoLL-KI Systems
Foundations of Units and Quantities.
The upper library ontology for theorem prover libraries.
trigonometric functions
The SMGloM modules for topology
sub-library of OEIS for testing
Some foundations of Tannakian Symbols and their relations.
Slides and notes for talks held by Michael Kohlhase
A MMT counterpart to the elementary math in SMGloM
A Semantic Multilingual Glossary for Mathematics.