@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://www.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://www.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://www.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, Fascicule de didactique des mathématiques et de l'E.I.A.O., no. 3 (1994-1995), Exposé no. 6, 13 p. http://www.numdam.org/item/PSMIR_1994-1995___3_A5_0/
[And-85] The Geometry Tutor. Proceedings of IJCAI 85,Los Angeles,pp. 1-7,1985
- - :[And-90] Cognitive modeling and intelligent tutoring. Artificial Intelligence n°42, pp. 7-49, 1990
- - - :[Bal-82] 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] 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] Un micromonde de géométrie : Cabri-Géomètre, Thèse de l'Université Joseph Fournier Grenoble I -1990
:[Baz-93] 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] 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] 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] 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] 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] A Truth Maintenance System. Artificial Intelligence n°12, pp. 231-272, 1979 | MR
:[Duv-93] Introduction à la démonstration et apprentissage du raisonnement déductif Repères-Irem n°12, Topiques Editions, pp. 114-140,1993
- :[Gio-90] 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] 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] Introduction à la didactique des sciences et des mathématiques, PUF, 1993
- :[Koe-90] Abstract Planning and Perceptual Chunks : Elements of Expertise in Geometry. In Cognitive Science 14, pp. 511-550, 1990
. - . :[May-92] 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] 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] How to Solve It : A New Aspect of Mathematical Methods, Princeton University Press, 1957 | MR | Zbl
:[Py-92] 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] What's All the Fuss About Metacognition, Cognitive Science and Mathematic Education, Schoenfeld Ed., pp. 189-215, 1987
:[Wer-90] The Geometry Proof Tutor : An Intelligent Computer-based Tutor in the Classroom, Mathematics Teacher, pp. 308-317, April 1990
: