J. Laborde and M. R. Madani, La Pensée Sauvage Apprendre la preuve La preuve à la lumière de l'intelligence artificielle, à paraître Un modèle d'expert en résolution de problème de géométrie, Journées EIAO Cachan 1993. [BAZ 93b GEOMUS : un résolveur de problèmes de géométrie qui mobilise ses connaissances en fonction du problème posé Conception, réalisation et expérimentation d'un logiciel d'aide à l'enseignement de la géométrie: Cabri-géomètre, Didactique et Intelligence Artificielle. Recherches en didactique des mathématiques Paris : PUF. [BAZ 93a] Bazin J.M. Thèse Université Paris VI. [BEL 92] Bellemain F. Thèse LSD2- IMAG CHYPRE : Un logiciel d'aide au raisonnement, Repères -IREM n° 10. [BER 95] Bernat P, 1992.

A. Tool, . Research, . Teaching, and . Graph, Graph Drawing'95, Lecture Notes in Computer Science, pp.123-126, 1027.

C. Desmoulins and M. Macrelle, Interopérer via des macrodéfinitions pour partager des connaissances, application au EIAH de géométrie, actes de Ingénierie des Connaissances, Pont-à-Mousson Le tutorat dans les systèmes informatisés d'apprentissage : étude de la conception et réalisation d'un tutoriel d'aide à la représentation physique des situations étudiées par la mécanique, Thèse Université Paris VII. [DUV 89] Duval R., 1989. L'organisation déductive du discours Annales de Didactique et Sciences Cognitives 2, IREM de Strasbourg, pp.25-40, 1995.

C. Hoyles and K. Jones, A Cognitive Analysis of Geometry Proof Focused on Intelligent Tutoring Systems. Nato Asi Series, Proof in Dynamic Geometry Contexts, pp.82-93, 1995.

C. Mammana, V. Villani, V. Laborde, C. Capponi, and B. , Problem solving in geometry: from microworlds to intelligent computer environments Mathematical Problem Solving and New Information Technology (NATO ASI Series Cabri-géomètre constituant d'un milieu pour l'apprentissage de la notion de figure géométrique, Perspectives on the Teaching of Geometry for the 21st Century Recherches en Didactique des Mathématiques, pp.121-128177, 1985.

V. Luengo and N. Balacheff, Cabri-Euclide : un micromonde de preuve intégrant la réfutation Principes didactiques et informatiques. Réalisation Contraintes informatiques et environnements d'apprentissage de la démonstration en mathématiques, Thèse. Grenoble : Université Joseph Fourier, 1997. [LUE 98] Macro-definitions, a Basic Component for Interoperability between ILEs at Knowledge level: Application to Geometry, in proceeding of 4 th International Conference ITS' 98, pp.46-55, 1997.

V. Luengo-a-soutenu-sa-thèse, dans l'equipe EIAH (Environnement Informatique d'Apprentissage Humain) du laboratoire Leibniz à l'IMAG. Son travail de thèse porte sur la conception et développement un logiciel de preuve en géométrie à partir du logiciel Cabri-géomètre. Elle est ATER en informatique à l'université Joseph Fourier et poursuit des recherches en informatique et didactique centrées sur l'apprentissage de la preuve, la représentation de la connaissance, 1997.