AgentGeom: a multiagent system for pedagogical support in geometric proof problems. - Pedro Cobo; Josep M. Fortuny; Eloi Puertas; Philippe R. Richard (Int. J. Comput. Math. Learn., 2007)

Improving QED-Tutrix by Automating the Generation of Proofs. - Ludovic Font; Philippe R. Richard; Michel Gagnon (ThEdu@CADE, 2017)

Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context. - Ludovic Font; Sébastien Cyr; Philippe R. Richard; Michel Gagnon (ThEdu@CADE, 2019)

Probabilistic Approaches to Detect Blocking States in Intelligent Tutoring System. - Jean-Philippe Corbeil; Michel Gagnon; Philippe R. Richard (ITS, 2020)