Sébastien Cyr

According to our database, Sébastien Cyr authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2019

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

Ludovic Font, Sébastien Cyr, Philippe R. Richard, Michel Gagnon

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019