research
∙
03/10/2023
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
The introduction of automated deduction systems in secondary schools fac...
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/08/2022
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
The introduction of automated deduction systems in secondary schools fac...
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
∙
01/03/2022
Open Geometry Prover Community Project
Mathematical proof is undoubtedly the cornerstone of mathematics. The em...
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/28/2020
Towards a Geometry Automated Provers Competition
The geometry automated theorem proving area distinguishes itself by a la...
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
Towards Ranking Geometric Automated Theorem Provers
The field of geometric automated theorem provers has a long and rich his...
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
Exchange of Geometric Information Between Applications
The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-lear...
research
∙
03/02/2018
Proceedings 6th International Workshop on Theorem proving components for Educational software
The 6th International Workshop on Theorem proving components for Educati...
research
∙
01/24/2017
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
The UITP workshop series brings together researchers interested in desig...
research
∙
03/10/2014