no. S6
DEFI, démonstration et exploration de figures interactives
Publications de l'Institut de recherche mathématiques de Rennes, no. S6 (1991), pp. 223-225. 
@article{PSMIR_1991___S6_223_0,
     author = {Giorgiutti, Italo and Ag Almouloud, Saddo},
     title = {DEFI, d\'emonstration et exploration de figures interactives},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     pages = {223--225},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {S6},
     year = {1991},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1991___S6_223_0/}
}
TY  - JOUR
AU  - Giorgiutti, Italo
AU  - Ag Almouloud, Saddo
TI  - DEFI, démonstration et exploration de figures interactives
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1991
SP  - 223
EP  - 225
IS  - S6
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1991___S6_223_0/
LA  - fr
ID  - PSMIR_1991___S6_223_0
ER  - 
%0 Journal Article
%A Giorgiutti, Italo
%A Ag Almouloud, Saddo
%T DEFI, démonstration et exploration de figures interactives
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1991
%P 223-225
%N S6
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1991___S6_223_0/
%G fr
%F PSMIR_1991___S6_223_0
Giorgiutti, Italo; Ag Almouloud, Saddo. DEFI, démonstration et exploration de figures interactives. Publications de l'Institut de recherche mathématiques de Rennes, no. S6 (1991), pp. 223-225. http://www.numdam.org/item/PSMIR_1991___S6_223_0/

[AG Almouloud 91] S. Ag Almouloud, Aide logicielle à la résolution de problèmes avec preuve, Actes 90-91 du séminaire de didactique de l'Institut de Recherche Mathématique de Rennes

[Aides 88] Aides à la résolution de problèmes. Publication de l'IREM de Rennes 1988.

[Baulac & Giorgiutti 91] Y. Baulac et I. Giorgiutti, Interaction Micromonde / Tuteur le cas de CABRI-géomètre et de DEFI, Deuxièmes Journées EIAO Cachan, janvier 91.

[Gras 88] R. Gras, Aide logicielle aux problèmes de démonstration géométrique dans renseignement secondaire, Petit x n° 17, IREM de Grenoble.

[Gras & Giorgiutti 90] R. Gras et I. Giorgiutti, Le microordinateur, outil interactif dans l'aide à la démonstration, Actes de l'Université de Toulouse, 1990.

[Rapport 85] G.R.E.C.O Didactique, Informatique et Ingéniérie Didactique, Rapport d'Activités 84-85, Publications de l'IREM de Rennes.