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 SMGloM modules for topology

thesis docs

The staging ground for Theresa's SMGloM contributions

sub-library of OEIS for testing