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.


MathHub.info groups content by user accounts and independent libraries, e.g. the libraries of theorem provers that are maintained by whole communities.

MathHub libraries consist of individual math archives that are individually versioned and carry individual sets of permissions.

MathHub libraries can only be established by the MathHub Library Committee, to propose a library for MathHub send e-mail with your proposal to libraries@mathhub.info.

Responsible: m.kohlhase@jacobs-university.de,m.iancu@jacobs-university.de

Groups: 0
Archives: 0
Views: 0
Theories: 0
Definitions: 0
Constants: 0
Files: 0
Size: 0K