no. 3
Un environnement visuel d'aide à la résolution de problèmes en géométrie
Publications de l'Institut de recherche mathématiques de Rennes, no. 3 (1994-1995), Exposé no. 6, 13 p. 
@article{PSMIR_1994-1995___3_A5_0,
     author = {Bernat, Philippe},
     title = {Un environnement visuel d'aide \`a la r\'esolution de probl\`emes en g\'eom\'etrie},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     note = {talk:6},
     pages = {1--13},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {3},
     year = {1994-1995},
     language = {fr},
     url = {http://archive.numdam.org/item/PSMIR_1994-1995___3_A5_0/}
}
TY  - JOUR
AU  - Bernat, Philippe
TI  - Un environnement visuel d'aide à la résolution de problèmes en géométrie
JO  - Publications de l'Institut de recherche mathématiques de Rennes
N1  - talk:6
PY  - 1994-1995
SP  - 1
EP  - 13
IS  - 3
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://archive.numdam.org/item/PSMIR_1994-1995___3_A5_0/
LA  - fr
ID  - PSMIR_1994-1995___3_A5_0
ER  - 
%0 Journal Article
%A Bernat, Philippe
%T Un environnement visuel d'aide à la résolution de problèmes en géométrie
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:6
%D 1994-1995
%P 1-13
%N 3
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://archive.numdam.org/item/PSMIR_1994-1995___3_A5_0/
%G fr
%F PSMIR_1994-1995___3_A5_0
Bernat, Philippe. Un environnement visuel d'aide à la résolution de problèmes en géométrie. Publications de l'Institut de recherche mathématiques de Rennes, no. 3 (1994-1995), Exposé no. 6, 13 p. http://archive.numdam.org/item/PSMIR_1994-1995___3_A5_0/

[And-85] Anderson, J.R. - Boyle,C.F. - Yost, G. : The Geometry Tutor. Proceedings of IJCAI 85,Los Angeles,pp. 1-7,1985

[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

[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

[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

[Bau-90] Baulac, Y. : Un micromonde de géométrie : Cabri-Géomètre, Thèse de l'Université Joseph Fournier Grenoble I -1990

[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

[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 Toulouse 1990

[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

[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

[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

[Doy-79] Doyle, J. : A Truth Maintenance System. Artificial Intelligence n°12, pp. 231-272, 1979 | MR

[Duv-93] Duval, R. - Egret, M.A. : Introduction à la démonstration et apprentissage du raisonnement déductif Repères-Irem n°12, Topiques Editions, pp. 114-140,1993

[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

[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

[Jos-93] Joshua, S. -Dupin, J.J. : Introduction à la didactique des sciences et des mathématiques, PUF, 1993

[Koe-90] Koedinger,K.R.. - Anderson J.R.. : Abstract Planning and Perceptual Chunks : Elements of Expertise in Geometry. In Cognitive Science 14, pp. 511-550, 1990

[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.

[Mil-56] Miller, G.A.: The magical number seven, plus or minus two : Some limits on our capacity for processing information, Psychological Review 63, pp. 81-97, 1956

[Pol-57] Polya,G. : How to Solve It : A New Aspect of Mathematical Methods, Princeton University Press, 1957 | MR | Zbl

[Py-92] Py, D. : Expérimentation du tutoriel Mentoniezh en classe de quatrième. Petit x n°30, pp.63-72, 1991-1992

[Rep-93] Repères-IREM n°12, numéro spécial "Démonstration", juillet 1993

[Sch-87] Schoenfeld, A.-H. : What's All the Fuss About Metacognition, Cognitive Science and Mathematic Education, Schoenfeld Ed., pp. 189-215, 1987

[Wer-90] Wertheimer, R. : The Geometry Proof Tutor : An Intelligent Computer-based Tutor in the Classroom, Mathematics Teacher, pp. 308-317, April 1990