Picture for Philippe R. Richard

Philippe R. Richard

Université de Montréal

Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context

Add code
Feb 28, 2020
Figure 1 for Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Figure 2 for Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Figure 3 for Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Figure 4 for Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Viaarxiv icon

Improving QED-Tutrix by Automating the Generation of Proofs

Add code
Mar 05, 2018
Figure 1 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 2 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 3 for Improving QED-Tutrix by Automating the Generation of Proofs
Figure 4 for Improving QED-Tutrix by Automating the Generation of Proofs
Viaarxiv icon