research
∙
03/10/2023
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode
The paper collects preparatory work for interdisciplinary collaboration ...
share
research
∙
03/09/2023
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software
The ThEdu series pursues the smooth transition from an intuitive way of ...
research
∙
02/02/2022
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
This EPTCS volume contains the proceedings of the ThEdu'21 workshop, pro...
research
∙
10/30/2020
Lucas-Interpretation on Isabelle's Functions
Software tools of Automated Reasoning are too sophisticated for general ...
research
∙
10/28/2020
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software
The 9th International Workshop on Theorem-Proving Components for Educati...
research
∙
02/27/2020
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
This EPTCS volume contains the proceedings of the ThEdu'19 workshop, pro...
research
∙
04/01/2019
Technologies for "Complete, Transparent & Interactive Models of Math" in Education
A new generation of educational mathematics software is being shaped in ...
research
∙
03/29/2019
Proceedings 7th International Workshop on Theorem proving components for Educational software
The 7th International Workshop on Theorem proving components for Educati...
research
∙
03/05/2018
Prototyping "Systems that Explain Themselves" for Education
"Systems that Explain Themselves" appears a provocative wording, in part...
research
∙
03/02/2018