GitLab

The MathHub.info system currently only has active/semantic documents and theory graphs. But we would like to integrate and host mathematical data bases like the OEIS or LMFDB with mathematical interfaces.

The theory and part of the implementation has already been done in virtual theories and is proposed as part of #20. Now we need to build the infrastruture in MathHub.info. Concretely, this involves

• installing and exposing a data base server as http://data.mathhub.info (probably Postgres or so)
• extending the MMT lmh extension to create data bases for any archive with virtual theories (i.e. theories for which the necessary codecs and schema theories exist)
• developing a process for syncing the access permissions in the data base with those for the archive at http://gl.mathhub.info
• develop a MMT data extension with a structure component that creates/updates tables for MMT theories and whose object component uses queries for MMT expressions.