Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!uunet!clyde.concordia.ca!mcgill-vision!quiche!calvin!eagle
From: eagle@quiche.cs.mcgill.ca (Anatol ORLOVSKY)
Newsgroups: comp.ai
Subject: Geometrical theorem proving
Message-ID: <3511@calvin.cs.mcgill.ca>
Date: 2 Jun 90 19:26:11 GMT
Distribution: usa
Organization: SOCS, McGill University, Montreal, Canada
Lines: 6


 I would like some references about theorem-proving in Euclidian
 Geometry.
 
 Thanks,
 Eagle.