La démonstration dans les EIAO de la géométrie
Publications mathématiques et informatique de Rennes (1998)
- Issue: S4, page 69-78
Access Full Article
top
How to cite
topPy, Dominique. "La démonstration dans les EIAO de la géométrie." Publications mathématiques et informatique de Rennes (1998): 69-78. <http://eudml.org/doc/274061>.
@article{Py1998,
author = {Py, Dominique},
journal = {Publications mathématiques et informatique de Rennes},
language = {fre},
number = {S4},
pages = {69-78},
publisher = {Département de Mathématiques et Informatique, Université de Rennes},
title = {La démonstration dans les EIAO de la géométrie},
url = {http://eudml.org/doc/274061},
year = {1998},
}
TY - JOUR
AU - Py, Dominique
TI - La démonstration dans les EIAO de la géométrie
JO - Publications mathématiques et informatique de Rennes
PY - 1998
PB - Département de Mathématiques et Informatique, Université de Rennes
IS - S4
SP - 69
EP - 78
LA - fre
UR - http://eudml.org/doc/274061
ER -
References
top- 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). Zbl0114.06901
- 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. Zbl0301.68086
- 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.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.