Features and Applications

MMT is an API and thus application-independent. Individual applications are either part of the mmt-api project or implemented in separate projects. In particular, these include

• a shell
• an IDE based on the jEdit text editor as well as a plugin for the (IntelliJ-IDE)[intellij]
• a build tool for MMT archives
• a statistics exporter generating statistical data for MMT archives
• a graphical interface
• an HTTP interface
• a web site for browsing MMT content

The MMT API based on MMT provides a number of knowledge management services including

• notation-based presentation,
• interactive web-browisng,
• MMT-aware databases with custom indexing and retrieval,
• project-based abstraction and work flows for building, distribution, and sharing,
• management of change,
• querying integrating hierarchic, relational, and unification-based paradigms,
• the universal OpenMath machine based on registering custom implementations with the MMT server.