5 citations · 11 across the 6 of their papers we have counts for
8 papers
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…