The MathHub Library for the mathematical data collection of highly symmetric objects.
The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection
The meta information for the MathHub data collection on highly symmetric objects
The virtual theories of the symmetric objects data collection.