no. 3
Réflexions sur la conception et les modes d'usage d'ARRIA
Publications de l'Institut de recherche mathématiques de Rennes, no. 3 (1992), Exposé no. 5, 17 p. 
@article{PSMIR_1992___3_A5_0,
     author = {Bruillard, Eric},
     title = {R\'eflexions sur la conception et les modes d'usage {d'ARRIA}},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     note = {talk:5},
     pages = {1--17},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {3},
     year = {1992},
     language = {fr},
     url = {http://www.numdam.org/item/PSMIR_1992___3_A5_0/}
}
TY  - JOUR
AU  - Bruillard, Eric
TI  - Réflexions sur la conception et les modes d'usage d'ARRIA
JO  - Publications de l'Institut de recherche mathématiques de Rennes
N1  - talk:5
PY  - 1992
SP  - 1
EP  - 17
IS  - 3
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://www.numdam.org/item/PSMIR_1992___3_A5_0/
LA  - fr
ID  - PSMIR_1992___3_A5_0
ER  - 
%0 Journal Article
%A Bruillard, Eric
%T Réflexions sur la conception et les modes d'usage d'ARRIA
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:5
%D 1992
%P 1-17
%N 3
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://www.numdam.org/item/PSMIR_1992___3_A5_0/
%G fr
%F PSMIR_1992___3_A5_0
Bruillard, Eric. Réflexions sur la conception et les modes d'usage d'ARRIA. Publications de l'Institut de recherche mathématiques de Rennes, no. 3 (1992), Exposé no. 5, 17 p. http://www.numdam.org/item/PSMIR_1992___3_A5_0/

[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.

[Anderson & Al. 85] Anderson J.R., Boyle C. F. et Yost G., The geometry tutor Proceedings of the Ninth International Joint Conference on A.I., (p 1-7) Los Altos, CA : Morgan Kaufmann

[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.

[Balacheff 87] N. Balacheff, Processus de Preuve et Situations de Validation, Educational Studies in Mathematics vol.18, p.147-176, 1987.

[Baulac 90] Y. Baulac, Un micromonde de géométrie, Cabri-géomètre, Thèse d'Université, Grenoble I, Février 1990.

[Bruillard 88] E. Bruillard, Utilisation du système SEVE pour la conception de didacticiels, Summer University Le Mans 1988.

[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.

[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.

[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.

[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.

[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.

[Fabrega 88] A. Fâbrega, Euclides I : a program for geometry in CAI in Computers in Education, Elsevier, IFIP p.203-206, 1988.

[Floris & Bevacqua 89] Floris, Bevacqua, Development and classroom experimentation of Interactive geometry exercises, Journal of Computer Assisted Learning, vol.5, n°3, September 1989.

[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.

[Guin 90] D. Guin, Modélisation des connaissances pour un système d'aide à la démonstration géométrique, Applica 90, Lille, 1990.

[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.

[Kaltenbach & Frasson 89] M. Kaltenbach, C. Frasson, Dynaboard: User animated display of deductive proofs in mathematics, International Journal of Man-Machines Studies 30, p.149-170, 1989.

[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.

[Montès 88] Antonio Montès, Use of specialized languages in Education, in Computers in Education, Elsevier, IFIP p.219-223, 1988.

[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.

[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.

[Sendov & Dicheva 88] B. Sendov and D. Dicheva, A mathematical laboratory in Logo style, in Computers in Education, Elsevier, IFIP p.213-217, 1988.

[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.

[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.