Campuses:

Twin Cities
Crookston
Duluth
Morris
Rochester
Other Locations

Go to the U of M home page

myU

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:

Number:

389d

Main menu

About
Programs
Visiting
Video
Support the IMA

About
Programs
Visiting
Video
Support the IMA

Institute for Mathematics and its Applications
College of Science and Engineering
207 Church Street SE
306 Lind Hall
Minneapolis, MN USA 55455

(612) 624-6066
visit@ima.umn.edu

Connect With Us:

© 2019 Regents of the University of Minnesota. All rights reserved. The University of Minnesota is an equal opportunity educator and employer. Privacy Statement
Report Web Disability-Related Issue