ODK

The archives of the OpenDreamKit EU Project. The overall aim of the project is to build a mathematical VRE (virtual research environment) from open-source components like Sage, GAP, Pari, Singular, the LMFDB, Findstat, OEIS, ... via a central ontology (which is here).

The organization is according to the Knowledge-First Paradigm. The main idea is that we use a flexiformal ontology of them mathematical concepts covered by the systems as a central reference and interface theories of system-specific refinements of this.

  • The math archive contains the central ontology
  • The ODK archive contains system meta-theories and the mathematical/computational foundations
  • The rest is the interface theories.

Responsible: m.kohlhase@jacobs-university.de,f.rabe@jacobs-university.de

  • Archives:
  • Views:
  • Theories:
  • Definitions:
  • Constants:
  • Files:
  • Size: K