Home

Im Projekt $\mmath$ geht es um eine formale Sprache, mit der mathematische Modelle formuliert, theoretisch analysiert und algorithmisch umgesetzt werden können, also um eine Metasprache für Modelle, Algorithmen und Theorien. Dabei ist die Sprache so konzipiert, dass sie in Forschung und Lehre nutzbringend eingesetzt werden kann.

Tatsächlich wird $\mmath$ entwickelt, um

• den Übergang zwischen Schul- und Hochschulmathematik zu erleichtern (...Details)
• die Arbeitsweise in allen Mathematikzweigen zu vereinheitlichen (...Details)
• die Rolle der mathematischen Modellierung in der Mathematik zu betonen (...Details)
• logische Programmierfehler in numerischen Algorithmen zu verhindern (...Details)
• mathematisches Wissen in elektronisch verwertbarer Form darzustellen (...Details)

Verschiedene Aspekte von $\mmath$ wurden und werden in Lehrveranstaltungen eingesetzt. Dazu gehören Schulprojekte, mathematische Vorkurse, Nachhilfeveranstaltungen, Modellierungsvorlesungen, Grundvorlesungen der Analysis und fortgeschrittene Numerikvorlesungen.