3 citations · 3 across the 4 of their papers we have counts for
4 papers
Interactive Formal Specification for Mathematical Problems of Engineers
Walther Neuper
The paper presents the second part of a precise description of the prototype that has been developed in the course of the ISAC project over the last two decades. This part describe…
Proceedings 12th International Workshop on Theorem proving components for Educational software
Julien Narboux, Walther Neuper, Pedro Quaresma
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favo…
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode
Klaus Miesenberger, Walther Neuper, Bernhard Stöger +1
The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) expertise in improving accessibility of studies for impaired individuals…
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software
Pedro Quaresma, João Marcos, Walther Neuper
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favo…