5 citations · 23 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.HO2019★ 5 cited
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…
cs.LO2019★ 1 cited
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…