Campuses:

The use of distances as coordinates in computer-aided proofs of theorems in Euclidean geometry

Author: 
Timothy F. Havel
January
1988
Document: 
Number: 
389d