Un environnement visuel d'aide à la résolution de problèmes en géométrie

 Access to full text

 Full (PDF)

1. [And-85] Anderson, J.R. - Boyle, C.F. - Yost, G. : The Geometry Tutor. Proceedings of IJCAI 85,Los Angeles,pp. 1-7,1985 
2. [And-90] Anderson, J.R. - Boyle, C.F. - Corbett A.T. - Lewis, M.W. : Cognitive modeling and intelligent tutoring. Artificial Intelligence n°42, pp. 7-49, 1990 
3. [Bal-82] Balacheff, N. : Preuve et démonstration en Mathématiques au collège, Recherches en Didactique des Mathématiques, Vol.3, n°3, pp. 261-304, 1982 
4. [Bau-89] Baulac, Y. Laborde, J. M.: Sur l'interface d'un Cahier de brouillon informatique pour la géométrie, Rapport de Recherche n° 7401, Grenoble : LSD2 IMAG, 1989 
5. [Bau-90] Baulac, Y. : Un micromonde de géométrie : Cabri-Géomètre, Thèse de l'Université Joseph FournierGrenoble I -1990 
6. [Baz-93] Bazin, J.M. : Un modèle d'expert en résolution de problème de géométrie. Environnements Interactifs d'Apprentissage avec l'Ordinateur, Actes des III° Journées EIAO de Cachan, Eyrolles, pages 27-38, 1993 
7. [Ber-91] Bernat, P. : Calques Géométriques, un logiciel pour expérimenter, démontrer, conjecturer, Actes de l'Université d'été Informatique et Enseignement de la Géométrie, IREM de Toulouse1990 
8. [Ber-94] Bernat, P.: Conception et réalisation d'un environnement interactif d'aide à la résolution de problèmes. CHYPRE : un exemple pour l'enseignement de la géométrie, Thèse de l'Université Henri Poincaré, Nancy, 1994 
9. [Blo-91] Blondel, F.M. - Schwob, - M. Tarizzo, M. :La communication dans un environnement de résolution de problèmes de chimie, Deuxièmes Journées EIAO de Cachan, ENS de Cachan Ed., pp.165-180, 1991 
10. [Des-93] Desmoulins, C.: Problèmes de mise en oeuvre pour un tuteur de construction de figure, Environnements Interactifs d'Apprentissage avec l'Ordinateur, Actes des III° Journées EIAO de Cachan, Eyrolles, pages 135-146, 1993 
11. [Doy-79] Doyle, J. : A Truth Maintenance System. Artificial Intelligence n°12, pp. 231-272, 1979 MR552422
12. [Duv-93] Duval, R. - Egret, M.A. : Introduction à la démonstration et apprentissage du raisonnement déductifRepères-Irem n°12, Topiques Editions, pp. 114-140,1993 
13. [Gio-90] Giorgiutti, I - Gras, R. : Le micro-ordinateur outil interactif de révélation, d'analyse et d'apprentissage en géométrie, Université d'été, IREM de Toulouse pp.151-168,1990 
14. [Gui-90] Guin, D.: Modélisation des connaissances pour un système d'aide à la démonstration géométrique, Université d'Ete Informatique et Enseignement de la Géométrie, IREM de Toulouse, pp. 61-72, 1990 
15. [Jos-93] Joshua, S. - Dupin, J.J. : Introduction à la didactique des sciences et des mathématiques, PUF, 1993 
16. [Koe-90] Koedinger, K.R.. - Anderson J.R.. : Abstract Planning and Perceptual Chunks : Elements of Expertise in Geometry. In Cognitive Science14, pp. 511-550, 1990 
17. [May-92] Mayers, A.- Lefebvre, B. : Une modélisation de l'architecture cognitive de l'étudiant pour un système tutoriel intelligent. In Proceedings of ITS'92 pp 277-285. Springer Verlag, 1992. 
18. [Mil-56] Miller, G.A.: The magical number seven, plus or minus two : Some limits on our capacity for processing information, Psychological Review63, pp. 81-97, 1956 
19. [Pol-57] Polya, G. : How to Solve It : A New Aspect of Mathematical Methods, Princeton University Press, 1957 Zbl0061.00616MR11666
20. [Py-92] Py, D. : Expérimentation du tutoriel Mentoniezh en classe de quatrième. Petit x n°30, pp.63-72, 1991-1992 
21. [Rep-93] Repères-IREM n°12, numéro spécial "Démonstration", juillet 1993 
22. [Sch-87] Schoenfeld, A.-H. : What's All the Fuss About Metacognition, Cognitive Science and Mathematic Education, Schoenfeld Ed., pp. 189-215, 1987 
23. [Wer-90] Wertheimer, R. : The Geometry Proof Tutor : An Intelligent Computer-based Tutor in the Classroom, Mathematics Teacher, pp. 308-317, April 1990