5 citations · 23 across the 14 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.HC2024
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…
cs.LO2024
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…