Picture for Pedro Quaresma

Pedro Quaresma

University of Coimbra, Portugal

Proceedings 12th International Workshop on Theorem proving components for Educational software

Add code
Apr 04, 2024
Viaarxiv icon

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry

Add code
Jan 22, 2024
Viaarxiv icon

Proceedings 14th International Conference on Automated Deduction in Geometry

Add code
Jan 19, 2024
Viaarxiv icon

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools

Add code
Mar 10, 2023
Viaarxiv icon

Proceedings 11th International Workshop on Theorem Proving Components for Educational Software

Add code
Mar 09, 2023
Viaarxiv icon

Four Geometry Problems to Introduce Automated Deduction in Secondary Schools

Add code
Feb 08, 2022
Figure 1 for Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
Figure 2 for Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
Figure 3 for Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
Figure 4 for Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
Viaarxiv icon

Proceedings 10th International Workshop on Theorem Proving Components for Educational Software

Add code
Feb 02, 2022
Viaarxiv icon

Open Geometry Prover Community Project

Add code
Jan 03, 2022
Viaarxiv icon

Proceedings 9th International Workshop on Theorem Proving Components for Educational Software

Add code
Oct 28, 2020
Viaarxiv icon

Towards a Geometry Automated Provers Competition

Add code
Feb 28, 2020
Viaarxiv icon