@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://www.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://www.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://www.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://www.numdam.org/item/PSMIR_1998___S4_69_0/
The geometry tutor. Proceedings of 9th International Joint Conference on Artificial Intelligence. Los Angeles.
, , (1985)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.
(1993)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.
(1994)Mathématiques et enseignement intelligemment assisté par ordinateur. Thèse de l'Université du Maine.
(1991)GEOM : a Prolog geometry theorem proven. Rapport interne n° 525, Laboratoire National d'Ingénierie Civile, Lisbonne.
, (1979)É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.
(1994)Realization of a geometry theorem-proving machine. Computers and thought, pp. 134-152, Feigenbaum et Feldman (Eds). | Zbl
(1963)Interaction micromonde / tuteur en géométrie. Actes des deuxièmes journées EIAO de Cachan. École Normale Supérieure de Cachan.
, (1991)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.
(1995)Plane geometry theorem-proving using forward chaining. Artificial Intelligence, pp. 1-23. | Zbl
(1975)Construction et vérification de figures géométriques dans le système Mentoniezh. Thèse de l'Université de Rennes I.
(1989)Apprentissage et démonstration automatique de théorèmes. Thèse de l'Université de Paris VI.
(1994)Aide à la démonstration en géométrie : le projet Mentoniezh. Sciences et Techniques Educatives, vol.3, n° 2 , Editions Hermès.
(1996)