Sébastien Cyr

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Project Based Learning

Theorem Proving

Attitudes Toward

Science Students

Top Venues

Publications

Ludovic Font, Sébastien Cyr, Philippe R. Richard, Michel Gagnon
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context. ThEdu@CADE (2019)