Philippe R. Richard | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Michel Gagnon
3 publications
Ludovic Font
2 publications
Sébastien Cyr
1 publication

research

∙ 02/28/2020

Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context

When working on intelligent tutor systems designed for mathematics educa...

0 Ludovic Font, et al. ∙

research

∙ 03/05/2018

Improving QED-Tutrix by Automating the Generation of Proofs

The idea of assisting teachers with technological tools is not new. Math...

0 Ludovic Font, et al. ∙