La démonstration dans les EIAO de la géométrie

 Access to full text

 Full (PDF)

1. Anderson J.R. , Boyle C.F., Yost G. (1985) The geometry tutor. Proceedings of 9th International Joint Conference on Artificial Intelligence. Los Angeles. 
2. 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. 
3. 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. 
4. Bruillard E. (1991) Mathématiques et enseignement intelligemment assisté par ordinateur. Thèse de l'Université du Maine. 
5. Coelho H. , Pereira L.M. (1979) GEOM : a Prolog geometry theorem proven. Rapport interne n° 525, Laboratoire National d'Ingénierie Civile, Lisbonne. 
6. 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. 
7. Gelernter H. (1963) Realization of a geometry theorem-proving machine. Computers and thought, pp. 134-152, Feigenbaum et Feldman (Eds). Zbl0114.06901
8. 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. 
9. 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. 
10. Nevins A.J. (1975) Plane geometry theorem-proving using forward chaining. Artificial Intelligence, pp. 1-23. Zbl0301.68086
11. 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. 
12. Pintado M. (1994) Apprentissage et démonstration automatique de théorèmes. Thèse de l'Université de Paris VI. 
13. 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.