Geometer is a program that teaches/demonstrates 2-D Euclidean geometry.
It uses the Showcase browsegizmo to read files, so Showcase must be
installed (or at least /usr/lib/showcase/browsegizmo must be in place).
If you wish to edit the ascii version of the geometry, the zip text
editor must be in place (zip is also available via public ftp; see
../zip).
See the file geom.doc for fairly complete documentation, and the
directory Theorems contains a bunch of examples/theorems/proofs/... in
various states of completion.
Comments, questions, suggestions => davis@sgi.com
-- Tom Davis
|