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
The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.
thesis docs
The staging ground for Theresa's SMGloM contributions