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

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: