Proofs with Coq of theorems in plane geometry using oriented angles

Proofs with Coq of theorems in plane geometry using
oriented angles
Fr´ed´erique Guilhot
To cite this version:
Fr´ed´erique Guilhot. Proofs with Coq of theorems in plane geometry using oriented angles.
RR-4362, INRIA. 2002. <inria-00072226>
HAL Id: inria-00072226
https://hal.inria.fr/inria-00072226
Submitted on 23 May 2006
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destin´ee au d´epˆot et `a la diffusion de documents
scientifiques de niveau recherche, publi´es ou non,
´emanant des ´etablissements d’enseignement et de
recherche fran¸cais ou ´etrangers, des laboratoires
publics ou priv´es.

ISSN 0249-6399 ISRN INRIA/RR--4362--FR+ENG
apport 
de recherche
THÈME 2
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Proofs with Coq of theorems in plane geometry using
oriented angles.
Frédérique Guilhot
N° 4362
Janvier 2002

Unité de recherche INRIA Sophia Antipolis
2004, route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex (France)
Téléphone : [phone] — Télécopie : [phone]