Picture for Vanda Santos

Vanda Santos

CIDTFF, University of Aveiro and CISUC

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

Add code
Mar 10, 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