Mathematical Knowledge Management
Systems to enter, query, pattern match the semantic constructs of branches of mathematics. Including concepts such as Axioms, Expressions, Definitions, Lemmas, Conjectures, Theorems, Proofs, Theories etc.
Data formats for mathematical knowledge management include
- A Semantic Wiki for Mathematical Knowledge Management is currently being developed with OMDoc as its page format.
- MBase is a knowledge base based on OMDoc. There are options to share information between systems; for instance MBase has an XML-RPC interface.
- Another example is TPTP, which can be exported to OMDoc using their tptp2X utility (-f option).