no. 5
L'aide à la démonstration géométrique dans le système Mentoniezh
Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1989-1990), Exposé no. 6, 38 p. 
@article{PSMIR_1989-1990___5_A6_0,
     author = {Py, Dominique},
     title = {L'aide \`a la d\'emonstration g\'eom\'etrique dans le syst\`eme {Mentoniezh}},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     note = {talk:6},
     pages = {1--38},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {5},
     year = {1989-1990},
     language = {fr},
     url = {http://archive.numdam.org/item/PSMIR_1989-1990___5_A6_0/}
}
TY  - JOUR
AU  - Py, Dominique
TI  - L'aide à la démonstration géométrique dans le système Mentoniezh
JO  - Publications de l'Institut de recherche mathématiques de Rennes
N1  - talk:6
PY  - 1989-1990
SP  - 1
EP  - 38
IS  - 5
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://archive.numdam.org/item/PSMIR_1989-1990___5_A6_0/
LA  - fr
ID  - PSMIR_1989-1990___5_A6_0
ER  - 
%0 Journal Article
%A Py, Dominique
%T L'aide à la démonstration géométrique dans le système Mentoniezh
%J Publications de l'Institut de recherche mathématiques de Rennes
%Z talk:6
%D 1989-1990
%P 1-38
%N 5
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://archive.numdam.org/item/PSMIR_1989-1990___5_A6_0/
%G fr
%F PSMIR_1989-1990___5_A6_0
Py, Dominique. L'aide à la démonstration géométrique dans le système Mentoniezh. Publications de l'Institut de recherche mathématiques de Rennes, no. 5 (1989-1990), Exposé no. 6, 38 p. http://archive.numdam.org/item/PSMIR_1989-1990___5_A6_0/

[AND85] J.R. Anderson, "The geometry tutor", Proceedings of I.J.C.A.I. 1985, Los Angeles, p. 1-7.

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

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

[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 Cognitiva 87, Paris, p.50-56.

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

[GRE88] "Didactique et acquisition des connaissances scientifiques", Rapport scientifique du GRECO didactique, CNRS session d'automne 1988.

[KAU87] H.A. Kautz, "A formal theory of plan recognition", PhD Thesis, Department of computer science, University of Rochester.

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

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

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

[WEN87] E. Wenger, "Artificial Intelligence and Tutoring Systems", Morgan Kaufmann Publishers, California.