@inbook {MATHEDUC.02325181,
author = {Guin, Dominique and Egret, Marie-Agn\`es and Koch, Bernard and Kuntz, G\'erard and M\'etivier, G\'erard and Vogel, Nicole},
title = {Modelling of geometric proofs using Geometry Tutor. (Mod\'elisation de la d\'emonstration g\'eom\'etrique dans Geometry Tutor.)},
year = {1991},
booktitle = {Annals of Didactics and Cognitive Science. Publication of the Seminar of Mathematics Education. Strasbourg. Vol. 4},
pages = {5-40},
publisher = {,},
abstract = {We study knowledge modelling of geometry proof in a well known system elaborated by J. R. Anderson and F. Boyle. This Intelligent Tutoring System is based on a cognitive theory ACT. We present some features of Geometry Tutor which lead us to question the experimentation in a French classroom of such a system.},
msc2010 = {G40xx},
identifier = {1999b.00997},
}