The Coq mailing list

[Lo�c Pottier <Loic.Pottier AT sophia.inria.fr>]

Cher Coq,
voici une nouvelle contribution, localisée à:
http://www-sop.inria.fr/lemme/Angles.tar
avec son fichier de description ci-dessous.
Bon vent.
Loïc Pottier et Frédérique Guilhot

 

Name:Angles
Title:Angles orientés de vecteurs dans le plan
Author:Frédérique Guilhot (Frederique.Guilhot AT sophia.inria.fr)
Institution: INRIA Sophia Antipolis, projet Lemme
Date:15 janvier 2002
Description: A partir d'une axiomatisation des angles orientés de vecteurs
             du plan euclidien,on donne des preuves classiques des théorèmes
             de cocyclicité, de Simson, de Napoléon et de l'orthocentre.                    Voir le rapport de recherche associé
             (http://www-sop.inria.fr/lemme/FGRR.ps) et le fichier README.
Keywords:Pcoq  géométrie théorème démonstration angle cercle geometry theorem proof angle circle
Require: