@article{PSMIR_1987-1988___5_A1_0, author = {Giorgiutti, Italo and Gras, R\'egis}, title = {Aide logicielle aux probl\`emes de d\'emonstration g\'eom\'etrique dans l'enseignement secondaire}, journal = {Publications de l'Institut de recherche math\'ematiques de Rennes}, eid = {1}, pages = {1--15}, publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes}, number = {5}, year = {1987-1988}, language = {fr}, url = {http://www.numdam.org/item/PSMIR_1987-1988___5_A1_0/} }
TY - JOUR AU - Giorgiutti, Italo AU - Gras, Régis TI - Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire JO - Publications de l'Institut de recherche mathématiques de Rennes PY - 1987-1988 SP - 1 EP - 15 IS - 5 PB - Département de Mathématiques et Informatique, Université de Rennes UR - http://www.numdam.org/item/PSMIR_1987-1988___5_A1_0/ LA - fr ID - PSMIR_1987-1988___5_A1_0 ER -
%0 Journal Article %A Giorgiutti, Italo %A Gras, Régis %T Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire %J Publications de l'Institut de recherche mathématiques de Rennes %D 1987-1988 %P 1-15 %N 5 %I Département de Mathématiques et Informatique, Université de Rennes %U http://www.numdam.org/item/PSMIR_1987-1988___5_A1_0/ %G fr %F PSMIR_1987-1988___5_A1_0
Giorgiutti, Italo; Gras, Régis. Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire. Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1987-1988), article no. 1, 15 p. http://www.numdam.org/item/PSMIR_1987-1988___5_A1_0/
Preuve et démonstration en mathématiques au Collège, Recherches en Didactique des Mathématiques. 3.3, 261-304.
(1982) :Processus de preuves et situations de validation, Rapport n° 538 du Laboratoire Structures Discrètes et Didactique de Grenoble I.
(1985) :Pour introduire à l'ingénierie didactique à composante informatique, Rapport sur l'Université n° 20 de Luminy.
(1985) :Gestion informatisée de problèmes et de démarches liées à leur résolution. La Nouvelle Encyclopédie Fondation Diderot (à paraître).
, , , , (1987) :Une situation de construction géométrique avec assistance logicielle. Recherches en Didactique des Mathématiques (à paraître).
(1988) :Didactique et Acquisition des Connaissances Scientifiques, Informatique et ingéniérie didactique, Rapport d'activités 1984-85 du sous-thème 2 du thème 3, des I.R.E.M. de Paris-Sud et Rennes, du C.A.T.E.N., de l'I.N.S.A., de l'I.R.I.S.A. et de l'I.R.M.A.R., LR.E.M. de Rennes (mai 1985).