kris-brown/mmt

Applications built on top of a MMT knowledge base.

Mathematical Knowledge Representation with MMT

Objective

Given some knowledge formalized in MMT format (the contents of which are not in this repository), this repo aims to provide a higher-level interface for querying the knowledge graph.

We want to answer questions like:

• What types of mathematical theories can (partially) give me insight into this problem?
• What types of real world domains can be (partially) modeled with this theory?
• Given a solution to some problem represented with some theory, can I solve that problem within another theory (perhaps one less general yet easier to compute in).

Examples

None!

To Do

• Implement basic functionality, just getting started with this.