Actes du colloque, 23 et 24 janvier 1998. La démonstration dans les EIAO de la géométrie. p. 69-78.
English Title : Computer-assisted proving in geometry. (ZDM/Mathdi)
Cette ressource est en ligne sur le site Bibliothèque numérique des IREM et de l'APMEP Télécharger
Auteur : Py Dominique
Résumé
L'auteur aborde le domaine de l'Environnement Interactif Assisté par Ordinateur à partir des travaux de recherches effectués en informatique concernant la démonstration en géométrie et le traitement du langage naturel. Puis il décrit les logiciels Mentoniezh et ARRIA traitant tous les deux du texte de démonstration dans le contexte scolaire.
Notes
Ce texte figure dans les Actes du colloque des 23 et 24 janvier 1998.
Il est également paru dans Produire et lire des textes de démonstration.
Pistes d'utilisation en classe
Cette ressource peut être utilisée en formation initiale des enseignants.
Données de publication
Éditeur Université de Rennes 1 , Rennes , France , 1998 Format A4, p. 69-78 Index Bibliogr. p. 77-78
Public visé enseignant, formateur
Type chapitre d’un ouvrage Langue français Support papier
Classification