. Bazin, 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.

S. Feulvarch and O. Mimeau, « Quelques activités de remédiation à la démonstration en géométrie à l'aide de l'outil informatique », mémoire professionnel, 1998.

]. A. Nevins, 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

. Ohlsson, ]. S. Langley-88, P. Ohlsson, and . Langley, « Psychological evaluation of path hypotheses in cognitive diagnosis », Learning issues for Intelligent Tutoring Systems, pp.42-62, 1988.

D. Py, 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.

D. Py, P. Nicolas, and . Mentoniezh, 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.

D. Py and «. , Geometry problem-solving with Mentoniezh », Computers and Education, pp.141-146, 1993.

A. Soit, A. Un-triangle, H. Le-milieu-de-[-bc-]-et, . Le, and . De, La parallèle à (BC) passant par H coupe (AB) en K

A. Soit and A. Un-triangle, I est un point du segment [AB] et J un point du segment [AC] tels que (IJ) est parallèle à (BC)

A. Soit, A. Un, and A. Le-pied-de-la-hauteur-issue-de, La parallèle à (BC) passant par A coupe la parallèle à (AH)

A. Soit, A. Un-triangle-isocèle-en, and A. , La parallèle à (AB) passant par C coupe la parallèle à (AC) passant par B en un point K

B. Soit, A. , A. Rt, and R. Tc, 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

B. Abc-est-un-triangle and . Est-le-milieu-de-[-bc-],-e-celui-de, AC] et F celui de [AB]. I est le point d'intersection de (AD) et (FE) Démontre que I

B. Soit and A. Un-parallélogramme, La parallèle à (BD) passant par A coupe (CD) en I. La parallèle à (BD) passant par C coupe (AB) en J

B. Soit, A. Un-triangle, and . Est-le-milieu-de-[-bc-], H est le point de [AM] tel que (BH) est perpendiculaire à (AM). K est le point tel que M

B. Soit, A. Un-triangle, and . Le-milieu-de-[-ab-], 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)

B. Soit, A. I. Un-quadrilatère, and . Est-le-milieu-de-[-ab-], 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)

B. Soit, A. Un-triangle-rectangle-en, and A. , Le point N est le milieu de l'hypoténuse. Le point M est le milieu de, Montre que (MN) est perpendiculaire à (AB)

B. Soit and C. Un-cercle-de-diamètre-[-ab-], P est un point quelconque de C. I et J sont tels que P est le milieu de [AI]

C. Soit and F. Un-parallélogramme, I est le milieu de [UR]. G est le point tel que I est le milieu de [FG]

C. Soit, A. Un-parallélogramme-de-centre, and O. , La parallèle à (BD) passant par A coupe (CD) en I. La parallèle à (BD) passant par C coupe (AB) en J

C. Soit, A. I. Un-triangle-quelconque, . J. Est-le-milieu-de-[-ab-], and . Est-le-milieu-de, Les droites (IC) et (JB) se coupent en un point O. Les points M et N