Aide logicielle à la résolution de problème avec preuve
Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1990-1991), Exposé no. 3, 39 p.
@article{PSMIR_1990-1991___5_A3_0,
     author = {Ag Almouloud, Saddo},
     title = {Aide logicielle \`a la r\'esolution de probl\`eme avec preuve},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     note = {talk:3},
     pages = {1--39},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {5},
     year = {1990-1991},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/}
}
TY  - JOUR
AU  - Ag Almouloud, Saddo
TI  - Aide logicielle à la résolution de problème avec preuve
JO  - Publications de l'Institut de recherche mathématiques de Rennes
N1  - talk:3
PY  - 1990-1991
SP  - 1
EP  - 39
IS  - 5
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/
LA  - fr
ID  - PSMIR_1990-1991___5_A3_0
ER  - 
%0 Journal Article
%A Ag Almouloud, Saddo
%T Aide logicielle à la résolution de problème avec preuve
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:3
%D 1990-1991
%P 1-39
%N 5
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/
%G fr
%F PSMIR_1990-1991___5_A3_0
Ag Almouloud, Saddo. Aide logicielle à la résolution de problème avec preuve. Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1990-1991), Exposé no. 3, 39 p. http://www.numdam.org/item/PSMIR_1990-1991___5_A3_0/

Allard J.-C, Pascal C. (1986), « Un langage pour la géométrie ». Logedif, IREM de Grenoble, cedic-Nathan

Bellemain F., (1988) « Cabri-géomètre: cahier de brouillon informatisé pour la résolution de problèmes en géométrie plane », 16, Petit x, IREM de Grenoble

Bellemain F., Gerente M., Lethy G., Riou B. (1990), «Géométrie et informatique: vers la médiatrice. L'expérimentation: d'interaction entre problématique du chercheur et celle de l'enseignant », 24, Petit x, IREM de Grenoble.

Cuppens R., (1991) «Intelligence artificielle et enseignement de la géométrie», 4, REPERES IREM, TOPIQUES EDITIONS

Duval R. & Egret M.-A. (1989) «L'organisation déductive du discours, Annales de didactiques et de sciences cognitives». 2, IREM de Strasbourg.

Giorguitti I. & Gras R. (1989), «The modeling student Knowledge, the case of geometry», Computer aided proofs in school geometry», Actes du colloque NATO. Grenoble 1989 (à paraître dans Springer Verlag)

Giorguitti I. & Baulac Y., Interaction micromonde/tuteur en géométrie: mise en commun des possibilités de Cabri-géométrie et de DEFI, Actes des 2èmes Journées EIAO de CACHAN des 24 et 25 janvier 1991

Gras R. (1988), «Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire», 17, Petit x. IREM de Grenoble.

Gras R. (1979), Contribution à l'étude expérimentale et à l'analyse de certaines acquisitions cognitives et certains objectifs didactiques en mathémathiques.Thèse d'Etat de l'Université de Rennes I.

Guin D., (1989), « Réflexion sur les logiciels d'aide à la démonstration en géométie », 2, Annales de Didactique et de Sciences Cognitives. IREM de Strasbourg.

Larher A.(1991), Implication statistique et applications à l'analyse de démarches de preuve mathématique. Thèse d'Université de Rennes I.

Nicolas P., Construction et vérification de figures géométriques dans le système MENTONIEZH. Thèse d'Université Rennes I, 1989.

Osta I. (1988), L'ordinateur comme outil d'aide à l'enseignement. Une séquence didactique pour l'enseignement du répérage dans l'espace à l'aide de logiciels graphiques, Thèse de l'Université Joseph FOURRIER Grenoble 1 .

Pluvinage F., (1989), « Aspects multidimentionnels du raisonnement en géométrie » 2, Annales de Didactique et de Sciences Cognitives. IREM de Strasbourg.

Py D. (1990), Reconnaissance de plan pour l'aide à la démonstration dans un tuteur intelligent de la géométrie. Thèse de l'Université de Rennes I, IFSIC