7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.AI2020★ 7 cited
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context
Ludovic Font, Sébastien Cyr, Philippe R. Richard +1
When working on intelligent tutor systems designed for mathematics education and its specificities, an interesting objective is to provide relevant help to the students by anticipa…
cs.AI2018
Improving QED-Tutrix by Automating the Generation of Proofs
Ludovic Font, Philippe R. Richard, Michel Gagnon
The idea of assisting teachers with technological tools is not new. Mathematics in general, and geometry in particular, provide interesting challenges when developing educative sof…