![]() | Monter d'un niveau |
Aymemo, J. M. F., Gagnon, M., Gauthier, J., Leduc, N., Puertas, E., Richard, P. R., Rosu, C., & Tessier-Baillargeon, M. (janvier 2010). Theoretical fundaments for an intelligent tutorial system towards the learning of geometry at a high school level [Communication écrite]. Interoperable Interactive Geometry Conference, 12GEO 2010, Hluboká nad Vltavou (Czech Republic). Lien externe
Corbeil, J.-P., Gagnon, M., & Richard, P. R. (juin 2020). Probabilistic approaches to detect blocking states in intelligent tutoring system [Communication écrite]. 16th International Conference on Intelligent Tutoring Systems (ITS 2020), Athens, Greece. Lien externe
Font, L., Gagnon, M., Leduc, N., & Richard, P. (2022). Intelligence in QED-Tutrix: Balancing the Interactions Between the Natural Intelligence of the User and the Artificial Intelligence of the Tutor Software. Dans Richard, P. R., Pilar Vélez, M., & Van Vaerenbergh, S. (édit.), Mathematics Education in the Age of Artificial Intelligence : How Artificial Intelligence can Serve Mathematical Human Learning (Vol. 17, p. 45-76). Lien externe
Font, L., Cyr, S., Richard, P. R., & Gagnon, M. (août 2019). Automating the generation of high school geometry proofs using Prolog in an educational context [Communication écrite]. 8th International Workshop on Theorem Proving Components for Educational Software, (ThEdu 2019), Natal, Brazil (16 pages). Lien externe
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., Venant, F., & Gagnon, M. (2019). Issues and challenges in instrumental proof. Dans Proof Technology in Mathematics Research and Teaching (Vol. 14, p. 139-172). 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
Richard, P. R., Gagnon, M., Fortuny, J. M., Leduc, N., & Tessier-Baillargeon, M. (2013). Means of Choice for Interactive Management of Dynamic Geometry Problems Based on Instrumented Behaviour. American Journal of Computational Mathematics, 3(3B), 41-51. Disponible
Richard, P. R., Fortuny, J. M., Gagnon, M., Leduc, N., Puertas, E., & Tessier-Baillargeon, M. (2011). Didactic and theoretical-based perspectives in the experimental development of an intelligent tutorial system for the learning of geometry. ZDM, 43(3), 425-439. Lien externe
Richard, P. R., Leduc, N., Tessier-Baillargeon, M., & Gagnon, M. (juin 2010). Contribution of a computer algebra system (CAS) in the solving of problems in geometry with the help of an emerging tutorial system [Communication écrite]. Computer Algebra and Dynamic Geometry Systems in Mathematics Education, Hluboká nad Vltavou (Czech Republic). Non disponible
Tessier-Baillargeon, M., Leduc, N., Richard, P. R., & Gagnon, M. (février 2017). QED-Tutrix: creating and expanding a problem database towards personalized problem itineraries for proof learning [Communication écrite]. 10th Congress of European Research in Mathematics Education (CERME 2017), Dublin, Ireland. Lien externe