Des outils informatiques dans la classe aux calculatrices symboliques et géométriques : quelles perspectives pour l’enseignement des mathématiques. Qu’est-ce que GeoIrem ? p. 173-181.

Auteurs : Douris Jean-Pierre ; Pinchinat Joël

Résumé

GeoIrem est une librairie MAPLE V pour faire de la géométrie, avec pour objectifs :
– construire des variables géométriques libres avec des fonctions dont les noms sont ceux de la géométrie élémentaire traditionnelle (Point, Droite, Vecteur, Cercle, Bissectrice, Intersection, Homothétie,…) ;
– démontrer formellement des théorèmes par les moyens habituels de la géométrie analytique (Etre-égaux, Etre-un-point-de, Etre-concourants, Etre-tangents…).

Notes

Compte rendu d’un atelier animé pendant l’Université d’été 26 août au 31 août 1996 dont les Actes sont publiés à l’IREM de Rennes.

Données de publication

Éditeur IREM de Rennes Rennes , 1997 Format A4, p. 173-181

ISBN 2-85728-034-3 EAN 9782857280347

Public visé chercheur, enseignant, formateur Niveau 1re, 2de, lycée, terminale Âge 15, 16, 17

Type chapitre d’un ouvrage Langue français Support papier