The MitM foundation provides the meta-theory and system-level knowledge and specifications for the knowledge-based integration of mathematical software systems like GAP, PARI, dSAGE, Singular and mathematical data based like the LMFDB, OEIS, Findstat into a mathematical virtual research environment in the OpenDreamKit project.
Last edited by 
Michael Kohlhase
Michael Kohlhase