Mézière et J. Vincent « Un exemple d'utilisation d'un EIAO pour former des enseignants », Troisième congrès international d'actualité de la recherche en éducation et en formation, 1999. ,
« Quelques activités de remédiation à la démonstration en géométrie à l'aide de l'outil informatique », mémoire professionnel, 1998. ,
Plane geometry theorem proving using forward chaining, Artificial Intelligence, vol.6, issue.1, pp.1-23, 1975. ,
DOI : 10.1016/0004-3702(75)90013-2
« Psychological evaluation of path hypotheses in cognitive diagnosis », Learning issues for Intelligent Tutoring Systems, pp.42-62, 1988. ,
Reconnaissance de plan pour l'aide à la démonstration dans un Tuteur Intelligent de la géométrie », thèse de l'université de Rennes I, 1990. ,
a geometry I.T.S. for figure setting and proof drawing, Journal of Artificial Intelligence in Education, vol.1, issue.3, pp.41-56, 1990. ,
Geometry problem-solving with Mentoniezh », Computers and Education, pp.141-146, 1993. ,
La parallèle à (BC) passant par H coupe (AB) en K ,
I est un point du segment [AB] et J un point du segment [AC] tels que (IJ) est parallèle à (BC) ,
La parallèle à (BC) passant par A coupe la parallèle à (AH) ,
La parallèle à (AB) passant par C coupe la parallèle à (AC) passant par B en un point K ,
T et R sont deux points situés sur le segment Le point P est tel que B est le milieu de, La droite (PR) coupe la droite (AB) en M. Montre que M est le milieu de ,
AC] et F celui de [AB]. I est le point d'intersection de (AD) et (FE) Démontre que I ,
La parallèle à (BD) passant par A coupe (CD) en I. La parallèle à (BD) passant par C coupe (AB) en J ,
H est le point de [AM] tel que (BH) est perpendiculaire à (AM). K est le point tel que M ,
La parallèle à (BC) passant par U coupe (AC) en H. La parallèle à (AC) passant par U coupe (BC) en I, Montrer que (AB) est parallèle à (HI) ,
La parallèle à (BC) passant par I coupe (AC) en J. La parallèle à (DC) passant par J coupe (AD) en K, Montrer que (IK) est parallèle à (BD) ,
Le point N est le milieu de l'hypoténuse. Le point M est le milieu de, Montre que (MN) est perpendiculaire à (AB) ,
P est un point quelconque de C. I et J sont tels que P est le milieu de [AI] ,
I est le milieu de [UR]. G est le point tel que I est le milieu de [FG] ,
La parallèle à (BD) passant par A coupe (CD) en I. La parallèle à (BD) passant par C coupe (AB) en J ,
Les droites (IC) et (JB) se coupent en un point O. Les points M et N ,