no. 5
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. 
@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://archive.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://archive.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://archive.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://archive.numdam.org/item/PSMIR_1987-1988___5_A1_0/

Balacheff N. (1982) : Preuve et démonstration en mathématiques au Collège, Recherches en Didactique des Mathématiques. 3.3, 261-304.

Balacheff N. (1985) : Processus de preuves et situations de validation, Rapport n° 538 du Laboratoire Structures Discrètes et Didactique de Grenoble I.

Chevallard Y. (1985) : Pour introduire à l'ingénierie didactique à composante informatique, Rapport sur l'Université n° 20 de Luminy.

Gras R., Boisnard D., Allen R., Nicolas P., Trilling L. (1987) : Gestion informatisée de problèmes et de démarches liées à leur résolution. La Nouvelle Encyclopédie Fondation Diderot (à paraître).

Gras R. (1988) : Une situation de construction géométrique avec assistance logicielle. Recherches en Didactique des Mathématiques (à paraître).

Gréco 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).