Welcome to the \(\mathbb{M}\)ATh project

The project \(\mathbb{M}\)ATh as acronym for Meta-language for Models, Algorithms and Theories originated in an attempt to combine various aspects of high level math education in a common formal framework. The current development is guided by the objective to support course work at various academic levels and task areas, ranging from mathematical modeling over deductive reasoning to the implementation of numerical algorithms.