Explore projects

The meta-theories for the schema theories for MathHub data collections

The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection

The virtual theories of the symmetric objects data collection.

The meta information for the MathHub data collection on highly symmetric objects