Monter d'un niveau |
Font, L., Richard, P. R., & Gagnon, M. (août 2017). Improving QED-Tutrix by automating the generation of proofs [Communication écrite]. 6th International Workshop on Theorem Proving Components for Educational Software (ThEdu 2017), Gothenburg, Sweden. Publié dans Electronic Proceedings in Theoretical Computer Science, 267. Lien externe
Richard, P. R., Gagnon, M., & Fortuny, J. M. (juillet 2016). Connectedness of Problems and Impasse Resolution in the Solving Process in Geometry: A Major Educational Challenge [Communication écrite]. 13th International Congress on Mathematical Education (ICME 2016), Hamburg, Germany. Lien externe