This is the MathHub-based portal for the archives of the OpenDreamKit EU Project.
The aim of the project is to make mathematical software systems (including SageMath, GAP, PARI/GP, Singular) and data sources (including the LMFDB, FindStat, or the OEIS) interoperable and connect them up into a mathematical virtual research environment (VRE) via a joint mathematical ontology that generates a joint meaning space that allows the systems to communicate without compromizing semantics.
This knowledge hub contains this ontology in the form of a general mathematical ontology and interface theories that bridge the conceptual gap between the system-specific representations - usually optimized towards computation - and the general mathematical formulations - usually optimized towards conceptual elegance and human understandability.
To interactively browse the content check the "Explore" tab above. Read more about the MathHub system here.