Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Roy Marie-Françoise

Titre : Quadrature. Num. 16. p. 45-52. Démonstration automatique en géométrie : une approche par l'algèbre.

Editeur : EDP sciences Les Ulis, 1993
Format : A4, p. 45-52 Bibliogr. p. 52
  ISSN : 1142-2785

Type : article de périodique ou revue Langue : Français Support : papier

Public visé : élève ou étudiant, enseignant, tout public Niveau Niveau scolaire visé par l'article : licence Age : 18, 19, 20

Classification : A35Revues, article de revue A38Revues, article de revue E55Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques. E58Méthodes de démonstration. Raisonnement et démonstrations en classe de mathématiques. G75Géométrie analytique. Géométrie vectorielle. Géométrie projective. géométrie affine. géométrie métrique. G78Géométrie analytique. Géométrie vectorielle. Géométrie projective. géométrie affine. géométrie métrique. 

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).

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 02/11/2018
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche  Vidéo d'aide
Certification IDDN