Aide logicielle à la résolution de problème avec preuve

 Access to full text

 Full (PDF)

1. Allard J.-C, Pascal C. (1986), « Un langage pour la géométrie ». Logedif, IREM de Grenoble, cedic-Nathan 
2. 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 
3. 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. 
4. Cuppens R., (1991) «Intelligence artificielle et enseignement de la géométrie», 4, REPERES IREM, TOPIQUES EDITIONS 
5. Duval R. & Egret M.-A. (1989) «L'organisation déductive du discours, Annales de didactiques et de sciences cognitives». 2, IREM de Strasbourg. 
6. Giorguitti I. & Gras R. (1989), «The modeling student Knowledge, the case of geometry», Computer aided proofs in school geometry», Actes du colloque NATO. Grenoble1989 (à paraître dans Springer Verlag) 
7. 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 
8. Gras R. (1988), «Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire», 17, Petit x. IREM de Grenoble. 
9. 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. 
10. 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. 
11. Larher A.(1991), Implication statistique et applications à l'analyse de démarches de preuve mathématique. Thèse d'Université de Rennes I. 
12. Nicolas P., Construction et vérification de figures géométriques dans le système MENTONIEZH. Thèse d'Université Rennes I, 1989. 
13. 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 . 
14. Pluvinage F., (1989), « Aspects multidimentionnels du raisonnement en géométrie » 2, Annales de Didactique et de Sciences Cognitives. IREM de Strasbourg. 
15. 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