MathHub.info also hosts mathematical data collections (collections of concrete mathematical data sets) and makes them available as virtual theories. These abstract from the storage level and are well-integrated with mathematical documents and knowledge on MathHub:
- data set creators can specify the meaning of mathematical objects and their database encoding via MDDL schema theories, based on mathematical background knowledge already on MathHub
- data set contributors can upload extensions to existing data sets via GIT pull requests, subject to GIT access management.
- users can interact with data set objects as with any other objects on MathHub via the MathHub front-end, tools, and APIs.
The MathDataHub setup ensures