Picture for Ludovic Font

Ludovic Font

École Polytechnique 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