MathHub Data launch

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:

We are also preparing two larger imports to test the system.

Blog WP2: Dissemination