Sébastien Cyr

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2019
Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context.
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019


  Loading...