Sommaire de la brochure :
– Intelligence artificielle et enseignement de la géométrie (Roger Cuppens)
– Quelques mots sur la recherche et la rédaction d’une démonstration (André Antibi)
– Un système ouvert de gestion de fragments pour l’apprentissage de raisonnements et de leur communication (Eric Bruillard)
– Problème de didactique de la géométrie (Guy Brousseau)
– Modélisation des connaissances pour un système d’aide à la démonstration géométrique (Dominique Guin)
– Le raisonnement analogique et l ‘apprentissage symbolique en géométrie : le cas du tutoriel ARCHIMEDE (Eugène Chouraqui et Caro Inghilterra)
– L’aide à la démonstration de géométrie dans le projet Mentoniezh (Dominique Py)
– Sur la correction de la figure dans un système d’EIAO. pour la géométrie (Richard Allen, Pierrick Nicolas et Laurent Trilling)
– Analyse de processus d’enseignement en environnement informatique (Michèle Artigue)
– Le micro-ordinateur outil interactif de révélation, d’analyse et d’apprentissage en géométrie (Régis Gras et Italo Giorgiutti)
– Le projet HYPER-GEOMETRIE (Rémy Baegert)
– Calques géométriques : un logiciel pour expérimenter, conjecturer, démontrer (Philippe Bernat)
– Dessiner dans l’espace (Yves Bouteiller et Michèle Duperier)
– Le logiciel IMAGEO : Interactivité Mathématiques et GEOmétrie (Ralph Buisson)
– Démonstration automatique en géométrie (Philippe Guillot, Luc Jolivet, Jean-Luc Leperd et Claude Moulin)
– L’atelier DERIVE (Guy Juge et Georges Mounier)
– WORKS : un outil graphique de simulation au service des mathématiques, et des statistiques en particulier (Bernard Lachambre)
– L’extension EUCLIDE+ (Claude Matussi)
– Imagiciels en géométrie (Francis Munier)
– Vers un tuteur intelligent en géométrie : Cabri-géomètre (Jean-Marie Laborde)