La démonstration mathématique dans l’histoire. Démonstration automatique en géométrie : une approche par l’algèbre. p. 251-259.
Un fac-similé numérique est en téléchargement sur le site Bibliothèque numérique des IREM et de l’APMEP Télécharger
Auteur : Coste-Roy Marie-Françoise
Autre nom d’auteur : Roy Marie-Françoise
Résumé
Après avoir présenté la démonstration automatique du théorème de Pascal, l’auteur montre l’intérêt du calcul automatique. Ce calcul permet de démontrer des théorèmes non triviaux, de poser des questions de mathématiques ou d’épistémologie des mathématiques intéressantes.
Notes
Chapitre de La démonstration mathématique dans l’histoire.
Données de publication
Éditeur IREM de Lyon Villeurbanne , 1990 Format A5, p. 251-259
ISBN 2-906943-20-7
Public visé enseignant, formateur
Type chapitre d’un ouvrage Langue français Support papier
Classification