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|main]].
Using the technology from #24. We had this for the OpenDreamKit project. Here is the old main page.
Overview
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|main]].