 | Monter d'un niveau |
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, 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
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
Richard, P. R., Venant, F., & Gagnon, M. (2019). Issues and challenges in instrumental proof. Dans Proof Technology in Mathematics Research and Teaching (Vol. 14, 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
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
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
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
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
