Login / Signup
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context.
Ludovic Font
Sébastien Cyr
Philippe R. Richard
Michel Gagnon
Published in:
ThEdu@CADE (2019)
Keyphrases
</>
high school
project based learning
high school students
college students
classroom teaching
theorem proving
grade students
science teachers
science students
programming language
attitudes toward
learning design
learning process
learning analytics
virtual learning environments
conceptual understanding