Création d'un générateur de preuves à des problèmes de géométrie du secondaire simulant le modèle de pensée d'un élève, pour le logiciel tuteur QED-Tutrix.

Le logiciel tuteur QED-Tutrix offre une interface permettant à un élève de secondaire de résoudre des problèmes de géométrie et de l'accompagner tout au long de cette résolution. Cet accompagnement nécessite d'être capable d'anticiper les différentes preuves accessibles à l'élève, et donc une connaissance a priori de l'ensemble des preuves possibles. L'encodage manuel de cette connaissance par un expert étant particulièrement long et pénible, nous avons pour objectif d'automatiser au maximum ce travail en implémentant un générateur de preuves capable de construire automatiquement toutes les preuves à un problème qu'un élève pourrait écrire.