Campuses:
Twin Cities
Crookston
Duluth
Morris
Rochester
Other Locations
Go to the U of M home page
myU
Search
You are here
Home
›
About the IMA
›
Scientific Resources
›
Preprints
The use of distances as coordinates in computer-aided proofs of theorems in Euclidean geometry
Author:
Timothy F. Havel
January
1988
Document:
389d.pdf
Number:
389d
Main menu
About
Programs
Visiting
Video
Support the IMA