5 citations · 23 across the 14 of their papers we have counts for
14 papers
Proceedings The 13th 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 favor…
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…
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
João Marcos, Walther Neuper, Pedro Quaresma
This EPTCS volume contains the proceedings of the ThEdu'21 workshop, promoted on 11 July 2021, as a satellite event of CADE-28. Due to the COVID-19 pandemic, CADE-28 and all its co…
Lucas-Interpretation on Isabelle's Functions
Walther Neuper
Software tools of Automated Reasoning are too sophisticated for general use in mathematics education and respective reasoning, while Lucas-Interpretation provides a general concept…
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software
Pedro Quaresma, Walther Neuper, João Marcos
The 9th International Workshop on Theorem-Proving Components for Educational Software (ThEdu'20) was scheduled to happen on June 29 as a satellite of the IJCAR-FSCD 2020 joint meet…
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
Pedro Quaresma, Walther Neuper, João Marcos
This EPTCS volume contains the proceedings of the ThEdu'19 workshop, promoted on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil. Representing the eighth install…
Technologies for "Complete, Transparent & Interactive Models of Math" in Education
Walther Neuper
A new generation of educational mathematics software is being shaped in ThEdu and other academic communities on the side of computer mathematics. Respective concepts and technologi…
Proceedings 7th International Workshop on Theorem proving components for Educational software
Pedro Quaresma, Walther Neuper
The 7th International Workshop on Theorem proving components for Educational software (ThEdu'18) was held in Oxford, United Kingdom, on 18 July 2018. It was associated to the confe…
Prototyping "Systems that Explain Themselves" for Education
Alan Krempler, Walther Neuper
"Systems that Explain Themselves" appears a provocative wording, in particular in the context of mathematics education -- it is as provocative as the idea of building educational s…
Proceedings 6th International Workshop on Theorem proving components for Educational software
Pedro Quaresma, Walther Neuper
The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference…
Automated Generation of User Guidance by Combining Computation and Deduction
Walther Neuper
Herewith, a fairly old concept is published for the first time and named "Lucas Interpretation". This has been implemented in a prototype, which has been proved useful in education…