The MMT Language and System

Publications

Main papers

Other papers

This list is always outdated. Most relevant papers can be found in Florian Rabe’s publication list.

There is also an entry for MMT in the swMath catalog of mathematical software.