L'aide à la démonstration géométrique dans le système Mentoniezh

 Access to full text

 Full (PDF)

1. [AND85] J.R. Anderson, "The geometry tutor", Proceedings of I.J.C.A.I.1985, Los Angeles, p. 1-7. 
2. [BAR89] W. Barz, G. Holland, "Intelligent Tutoring Systems for training in geometrical proof and construction problems", in "Learning and Instruction : European research in an international context", 1989, H.Mandi, E.De Corte, S.N.Bennett (Eds.), Oxford : Pergamon. 
3. [CH087] E. Chouraqui, C. Inghilterra, "Apports de la méthodologie fondée sur les objets pour la conception d'un système expert d'E.A.O. de la géométrie", Actes de Cognitiva 87, Paris, p.39-44. 
4. [GUI87] D. Guin, F. Rousselot, "Recherche en vue de la réalisation d'un programme d'E.A.O. d'aide à la démonstration en géométrie", Actes de Cognitiva87, Paris, p.50-56. 
5. [GRA88] R. Gras, "Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire", Petit X, 1988, no 17, p.65-83. 
6. [GRE88] "Didactique et acquisition des connaissances scientifiques", Rapport scientifique du GRECO didactique, CNRS session d'automne 1988. 
7. [KAU87] H.A. Kautz, "A formal theory of plan recognition", PhD Thesis, Department of computer science, University of Rochester. 
8. [NIC89] P. Nicolas, "Construction et vérification de figures géométriques dans le système MENTONIEZH", Thèse de l'Université de Rennes I, 1989. 
9. [PY90] D. Py, "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, 1990. 
10. [VIV88] J.F. Nicaud, M. Vivet, "Les Tuteurs Intelligents : réalisations et tendances de recherche", 1988, Techniques et Science Informatique, vol. 7, no 1, p. 21-51. 
11. [WEN87] E. Wenger, "Artificial Intelligence and Tutoring Systems", Morgan Kaufmann Publishers, California.