Picture for Sébastien Cyr

Sébastien Cyr

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