Objectives of the $\mmath$-project

The objectives of the $\mmath$-project result from observations made throughout various lectures from first year preparatory courses to advanced courses in numerical mathematics. In a nutshell the following objectives are persued:

• Facilitating the start for math majors by explicitly placing focus on formal aspects of mathematics (...details)
• Emphasizing the role of modeling throughout mathematics (...details)
• Bridging the gap between derivation and implementation of numerical algorithms (...details)
• Supporting a natural structuring of proofs and automated checking (...details)

To achieve these goals, the $\mmath$-project is made up of a couple of tools, which are described here.