Search Results for author: Sébastien Cyr

Found 1 papers, 0 papers with code

Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context

no code implementations28 Feb 2020 Ludovic Font, Sébastien Cyr, Philippe R. Richard, Michel Gagnon

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 anticipating their next steps.

Cannot find the paper you are looking for? You can Submit a new open access paper.