After ten months of work, the FAU group launched the MathHub Data portal.
MathHub Data is a unified infrastructure to support deep FAIR relational mathematical data. It builds on our MathHub system, a portal for narrative and symbolic mathematical data. MathHub Data is a part of the MathHub portal and provides storage and hosting with integrated support for deep FAIR. In the future, this will also allow for the development of mathematical query languages (i.e., queries that abstract from the encoding) and mathematical validation (e.g., type-checking relative to the mathematical types, not the database types).
We have imported a few real world datasets into the system. These include:
- additive bases (by Jukka Kohonen), the full collection of extremal additive bases of up to 2525 elements;
- lattices (by Jukka Kohonen);
- regular maniplexes (by Gabe Cunningham); a collection of all regular maniplexes of rank 3 with automorphism groups of order 200 or less;
- regular polyhedra (by Gabe Cunningham), a collection of all regular abstract polyhedra with automorphism groups of order 2000 or less.
We are also preparing two larger imports to test the system.