R. Allen, C. Desmoulins, and L. Trilling, Tuteurs Intelligents et Intelligence Artificielle: probl??mes pos??s en construction de figures g??om??triques, pp.325-334, 1992.
DOI : 10.1007/3-540-55606-0_40

J. R. Anderson, The architecture of cognition, 1983.
URL : https://hal.archives-ouvertes.fr/hal-00699788

J. R. Anderson, C. E. Boyle, and G. Yost, The geometry tutor, Prodeedings of the international joint conference on Artificial Intelligence, pp.1-7, 1985.

N. Balacheff, Treatment of Refutations: Aspects of the Complexity of a Constructivist Approach to Mathematics Learning, Radical constructivism in Mathematics Education, pp.89-110, 1991.
DOI : 10.1007/0-306-47201-5_5

N. Balacheff, Towards a Problematique for Research on Mathematics Teaching, Journal for Research in Mathematics Education, vol.21, issue.4, pp.258-272, 1990.
DOI : 10.2307/749524

N. Balacheff, Contribution de la didactique et de l'épistémologie aux recherches en EIAO, pp.9-38, 1991.

Y. Baulac, Un micromonde de géométrie, Cabri-géomètre. Doctorat de l'université Joseph Fourier, 1990.

Y. Baulac and I. Giorgiutti, Interaction micromonde/tuteur en géométrie, le cas de cabri-géomètre et DEFI, 1991.

F. Bellemain, Conception, réalisation et expérimentation d'un logiciel d'aide à l'enseignement de la géométrie : Cabri-géomètre, 1992.

J. E. Bresenham, Anomalies in incremental line rastering. Theoretical foundation of computer graphics and CAD. NATO ASI series vol, 1988.

G. Brousseau, Processus de mathématisation, 1972.

G. Brousseau, Fondements et méthodes de la didactique des mathématiques, Recherches en didactique des mathématiques, pp.2-33, 1986.

G. Brousseau, Didactique, what good is it to a teacher ? Recherches en didactique des mathématiques. ICM7 Special issue, 1992.

J. Brown, Processus versus product: a perspective on tools for communal and informal electronic learning. in: Report from the learning lab: Education in the electronic age, 1983.

J. S. Brown and R. R. Burton, Diagnostic Models for Procedural Bugs in Basic Mathematical Skills*, Cognitive Science, vol.6, issue.2, pp.155-191, 1978.
DOI : 10.1207/s15516709cog0202_4

R. R. Burton and J. S. Brown, An investigation of computer coaching for informal learning activities, International Journal of Man-Machine Studies, vol.11, issue.1, pp.5-24, 1979.
DOI : 10.1016/S0020-7373(79)80003-6

J. R. Carbonnell, AI in CAI: An Artificial-Intelligence Approach to Computer-Assisted Instruction, IEEE Transactions on Man Machine Systems, vol.11, issue.4, pp.190-202, 1970.
DOI : 10.1109/TMMS.1970.299942

D. Chazan and R. Houde, How to use conjecturing and microcomputers to teach geometry, 1989.

Y. Chevallard, La transposition didactique . Nouvelle édition revue et augmentée Grenoble : Editions La Pensée Sauvage, 1985.

W. J. Clancey, Tutoring rules for guiding a case method dialogue, International Journal of Man-Machine Studies, vol.11, issue.1, pp.25-49, 1979.
DOI : 10.1016/S0020-7373(79)80004-8

E. Delozanne, Explications en EIAO: études à partir d'ELISE, un logiciel pour s'entrainer à une méthode de calcul de primitives, Thèse de l'Université du Mans. Le Mans, 1992.

M. Elsom-cook, Guided Discovery Tutoring, 1990.

D. Guin, Modélisation de la démonstration géométrique dans Geometry Tutor, Annales de Didactique et de Sciences Cognitives, vol.4, pp.5-40, 1991.

R. Kimball, Self-optimizing computer-asisted tutoring : theory and practice Psychology and Education series, 1973.

T. S. Kunh, The structure of scientific revolution, 1962.

C. Laborde, Solving problems in computer-based geometry environment: the influence of the features of the software. Zentralblatt für didaktik der mathematik, pp.128-135, 1992.

C. Laborde, The computer as part of the learning environment: the case of geometry. in : Learning from computers: Mathematics Education and Technology, 1992.

J. Laborde, Proposition d'un Cabri-géomètre, incluant la notion de figures manipulables, 1986.

J. Laborde and R. Strässer, Cabri-géomètre: a micro-world of geometry for guided discovery learning. Zentralblatt für didaktik der mathematik, pp.171-177, 1990.

J. Nicaud, A General Model of Algebraic Problem Solving for the Design of Interactive Learning Environments, Mathematical problem solving and new information technologies. NATO ASI series, 1992.
DOI : 10.1007/978-3-642-58142-7_19

S. Papert, Use of Technology to enhance education, 1973.

C. Payan, Cabri-géomètre : du continu au discret, 1992.

J. Psotka, D. Massey, L. Mutter, and S. A. , Intelligent Tutoring Systems, Lessons learned, 1988.

D. Py, N. , and P. , Menthoniezh: a geometry I.T.S. fot figure drawing and proof setting, Journal of Artificial Intelligence and Education, vol.1, pp.3-41, 1990.

D. H. Sleeman, Inferring (mal) rules from pupils' protocols, Proceedings of the European Conference on Artificial Intelligence, pp.160-164, 1982.

G. Vergnaud, Conceptual field, Problem-solving and Intelligent Computer Tools Computer-based learning environments and problem-solving. NATO ASI series F vol, pp.287-308, 1992.

E. Wenger, Artificial Intelligence and Tutoring Systems, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00703016