La démonstration dans les EIAO de la géométrie
Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 69-78. 
@article{PSMIR_1998___S4_69_0,
     author = {Py, Dominique},
     title = {La d\'emonstration dans les {EIAO} de la g\'eom\'etrie},
     journal = {Publications de l'Institut de recherche math\'ematiques de Rennes},
     pages = {69--78},
     publisher = {D\'epartement de Math\'ematiques et Informatique, Universit\'e de Rennes},
     number = {S4},
     year = {1998},
     language = {fr},
     url = {http://archive.numdam.org/item/PSMIR_1998___S4_69_0/}
}
TY  - JOUR
AU  - Py, Dominique
TI  - La démonstration dans les EIAO de la géométrie
JO  - Publications de l'Institut de recherche mathématiques de Rennes
PY  - 1998
SP  - 69
EP  - 78
IS  - S4
PB  - Département de Mathématiques et Informatique, Université de Rennes
UR  - http://archive.numdam.org/item/PSMIR_1998___S4_69_0/
LA  - fr
ID  - PSMIR_1998___S4_69_0
ER  - 
%0 Journal Article
%A Py, Dominique
%T La démonstration dans les EIAO de la géométrie
%J Publications de l'Institut de recherche mathématiques de Rennes
%D 1998
%P 69-78
%N S4
%I Département de Mathématiques et Informatique, Université de Rennes
%U http://archive.numdam.org/item/PSMIR_1998___S4_69_0/
%G fr
%F PSMIR_1998___S4_69_0
Py, Dominique. La démonstration dans les EIAO de la géométrie. Publications de l'Institut de recherche mathématiques de Rennes, Produire et lire des textes de démonstration, no. S4 (1998), pp. 69-78. http://archive.numdam.org/item/PSMIR_1998___S4_69_0/

Anderson J.R. , Boyle C.F., Yost G. (1985) The geometry tutor. Proceedings of 9th International Joint Conference on Artificial Intelligence. Los Angeles.

Bazin J.M. (1993) GEOMUS : un résolveur de problèmes de géométrie qui mobilise ses connaissances en fonction du problème posé. Thèse de l'Université de Paris VI.

Bernat Ph. (1994) Conception et réalisation d'un environnement interactif d'aide à la résolution de problèmes. Chypre : un exemple pour la démonstration en géométrie. Thèse de l'Université de Nancy.

Bruillard E. (1991) Mathématiques et enseignement intelligemment assisté par ordinateur. Thèse de l'Université du Maine.

Coelho H. , Pereira L.M. (1979) GEOM : a Prolog geometry theorem proven. Rapport interne n° 525, Laboratoire National d'Ingénierie Civile, Lisbonne.

Desmoulins C. (1994) Étude et réalisation d'un système tuteur pour la construction de figures géométriques. Thèse de l'Université Joseph Fourier, Grenoble.

Gelernter H. (1963) Realization of a geometry theorem-proving machine. Computers and thought, pp. 134-152, Feigenbaum et Feldman (Eds). | Zbl

Giorgiutti I. , Baulac Y. (1991) Interaction micromonde / tuteur en géométrie. Actes des deuxièmes journées EIAO de Cachan. École Normale Supérieure de Cachan.

Laborde J.M. (1995) Des connaissances abstraites aux réalités artificielles, le concept de micromonde Cabri. Environnements Interactifs d'Apprentissage avec Ordinateur. Guin, Nicaud et Py (Eds.), Eyrolles, Paris, p. 29-42.

Nevins A.J. (1975) Plane geometry theorem-proving using forward chaining. Artificial Intelligence, pp. 1-23. | Zbl

Nicolas P. (1989) Construction et vérification de figures géométriques dans le système Mentoniezh. Thèse de l'Université de Rennes I.

Pintado M. (1994) Apprentissage et démonstration automatique de théorèmes. Thèse de l'Université de Paris VI.

Py D. (1996) Aide à la démonstration en géométrie : le projet Mentoniezh. Sciences et Techniques Educatives, vol.3, n° 2 , Editions Hermès.