Réflexions sur la conception et les modes d'usage d'ARRIA

 Access to full text

 Full (PDF)

1. [Anderson 83] Anderson J.R., Acquisition of proof skills in geometry in J.G.Carbonell, R.Michalski et T.Mitchell, "Machine Learning, an A.I. approach", Springer Verlag, p.191-219, 1983. 
2. [Anderson & Al. 85] Anderson J.R., Boyle C. F. et Yost G., The geometry tutorProceedings of the Ninth International Joint Conference on A.I., (p 1-7) Los Altos, CA : Morgan Kaufmann 
3. [Balacheff 78] N. Balacheff, Les graphes de démonstration: outil pour l'étude des démonstrations naturelles, Thèse de 3ème, Institut National Polytechnique de Grenoble, 1978. 
4. [Balacheff 87] N. Balacheff, Processus de Preuve et Situations de Validation, Educational Studies in Mathematics vol.18, p.147-176, 1987. 
5. [Baulac 90] Y. Baulac, Un micromonde de géométrie, Cabri-géomètre, Thèse d'Université, Grenoble I, Février 1990. 
6. [Bruillard 88] E. Bruillard, Utilisation du système SEVE pour la conception de didacticiels, Summer University Le Mans1988. 
7. [Bruillard 91] E. Bruillard, Mathématiques et EIAO : une vision hypertexte des environnements d'apprentissage, Thèse de doctorat de l'Université du Maine, Février 1991. 
8. [Burton 88] R.R. Burton, The Environment Module of ITS, in M.C. Polson and J.J. Richardson (eds) "Foundations of ITS", Hillsdale, LEA, p.109-142, 1988. 
9. [Cuppens 88] Roger Cuppens, Faut-il enseigner la logique ? in Actes de la IIème Université d'Eté I.A. et enseignement des Maths, IREM de Toulouse, p.135-143, juillet 1988. 
10. [Cuppens 90] Roger Cuppens, Informatique et Enseignement de la Géométrie in Actes de la IIème Université d'Eté I.A. et enseignement des Maths, IREM de Toulouse, p.135-143, septembre 1990. 
11. [Duval & Egret 89] R. Duval, M.A. Egret, L'organisation deductive du discours : Interaction entre structure profonde et structure de surface dans l'accès à la démonstration, Annales de Didactique et de Sciences Cognitives, 2, p.25-40, 1989. 
12. [Fabrega 88] A. Fâbrega, Euclides I : a program for geometry in CAI in Computers in Education, Elsevier, IFIP p.203-206, 1988. 
13. [Floris & Bevacqua 89] Floris, Bevacqua, Development and classroom experimentation of Interactive geometry exercises, Journal of Computer Assisted Learning, vol.5, n°3, September 1989. 
14. [Grève 89] S.H. Grève, A real-time coaching environment for triangle congruence proofs, in E.Maurer (ed.) "Computer-Assisted Learning", Springer Verlag, p.150-157, 1989. 
15. [Guin 90] D. Guin, Modélisation des connaissances pour un système d'aide à la démonstration géométrique, Applica90, Lille, 1990. 
16. [Holland 88] G. Holland, Un logiciel de résolution de problèmes de preuve en géométrie utilisé en tant qu'expert d'un système tutoriel, Actes du 1er colloque franco-allemand de didactique, p.275-282, 1988. 
17. [Kaltenbach & Frasson 89] M. Kaltenbach, C. Frasson, Dynaboard: User animated display of deductive proofs in mathematics, International Journal of Man-Machines Studies30, p.149-170, 1989. 
18. [Lacombe 88] D. Lacombe, Le pseudo-formalisme scolaire ou l'initelligence artificielle, in Actes de la IIème Université d'Eté I.A. et enseignement des Maths, IREM de Toulouse, p.27-44, juillet 1988. 
19. [Montès 88] Antonio Montès, Use of specialized languages in Education, in Computers in Education, Elsevier, IFIP p.219-223, 1988. 
20. [Schofield 87] Alan H. Schoenfeld, What's All the Fuss About Metacognition, in Schoenfeld (ed.) "Cognitive Science and Mathematics Education", LEA, p.189-215, 1987. 
21. [Schoenfeld & Evans-Rhodes 89] J.W. Schofield and D. Evans-Rhodes, "AI in the Classrom : The Impact of a Computer-Based Tutor on Teachers and Students, in Proceedings of the 4th International Conference on AI and Education Amsterdam, IOS, p.238-243, 1989. 
22. [Sendov & Dicheva 88] B. Sendov and D. Dicheva, A mathematical laboratory in Logo style, in Computers in Education, Elsevier, IFIP p.213-217, 1988. 
23. [Thompson 87] P.W. Thompson, Mathematical Microworlds and Intelligent Computer-Aided Instruction, in G.P. Kearsley (ed.) "Artificial Intelligence and Instruction. Applications and Methods", Addison-Wesley, p.83-109, 1987. 
24. [Yerushalmy 88] Michal Yerushalmy, Computer data generated by geometry students : criteria for an appropriate Information, in Computers in Education, Elsevier, IFIP p.621-626, 1988.