Quadrature. N° 16. p. 45-52. Démonstration automatique en géométrie : une approche par l’algèbre.

Auteur : Roy Marie-Françoise
Autre nom d’auteur : Coste-Roy Marie-Françoise

Résumé

L’auteure explique comment réaliser le rêve de Descartes » : remplacer les démonstrations de géométrie par les calculs en utilisant les coordonnées cartésiennes. Cet exposé du congrès mathématique junior montre quelques applications de la théorie de la démonstration par ordinateur (comme Wu l’a expliquée) à des problèmes géométriques.

Notes

Quadrature est un magazine de mathématiques pures et appliquées. Il s’adresse aux enseignants, étudiants, ingénieurs et amateurs de mathématiques.
Tout internaute peut acheter le numéro en cours et les anciens numéros sur la site de la revue quadrature.info (ISSN de l’édition électronique : 1760-4826).

Données de publication

Éditeur EDP sciences Les Ulis , 1993 Format A4, p. 45-52 Index Bibliogr. p. 52
ISSN 1142-2785

Public visé élève ou étudiant, enseignant, tout public Niveau licence Âge 18, 19, 20

Type article de périodique ou revue, vulgarisation, popularisation Langue français Support papier