MAWEN-Project

Mathematics is a genuine European discipline of thought with a history of almost 3.000 years, the first summit in Ancient Greece. Mathematics appears not only the immediate prerequisite for development of our technologies, there are also patterns of mathematical thinking deeply embedded in European access to the world -- both reasons for European hegemony during almost 300 years.

Now time has come to reconsider all in one and to understand principles of mathematics in a broad sense reaching a wide audience. Mathematics has been called science for mechanisation of thinking, so the mechanical nature of mathematics needs to be understood and even more: experienced. This can nowadays be achieved by software analogous to chess software, governed by explicit rules and interactive experimentation.

A novel "Mathematical Working Environment" (MAWEN) shall be developed by international efforts pursuing these goals.

Mathematics as an European discipline of thought
TODO

Strengths and weaknesses of mathematics
TODO

Learning mathematics like with chess programs
TODO

The discipline of thought tackled in collaboration by
TODO

Students, pupils and teachers
TODO

Academic experts in HCI and accessibility
TODO

Academic experts in Computer Mathematics
TODO

State of project development in
TODO

Formal logic and mathematics
TODO

Accessibility and usability engineering
TODO

Educational software development and field tests
TODO

Summary of the current project plan
Three lines of motivation converge in the project plan
 * 1) After decades of efforts to improve visually impaired people's access to mathematics, a mathematician employed at IIS although born blind first time in his life could interactively explore a proof in Isabelle/VSCode -- a eureka moment!
 * 2) The proof assistant Isabelle is gong to update its front-end to front-of-the-wave technologies, from jEdit to VSCode, Chromium, Electron and Node.js and is interested in synergies in respective development efforts

Opportunities for international cooperation
TODO

Devlopment of frontends for mathematical software
TODO

User interface design for educational software
TODO

Authoring of interactive MOOCs
TODO Massive Open Online Courses (MOOCs)

Introduction of specific MOOCs to schools
TODO

Specific support for blind pupils
TODO

Special activities in youth camps
TODO