MathHub Data Collections

A mathematical data colletion is a regular MathHub Library with MDDL schema theories. It consists of

• MDDL archives for the schema theories. The main one is usually just called mddl.
• VT archives for the virtual theories generated from the mddl archive, the main one is usually called vt

An example of a MDDL-based schema collection can be seen in MathHub (MDDL, VT, and the generated data collection Symmetric Objects).