Sciweavers

DIAGRAMS
2000
Springer
14 years 4 months ago
Case Analysis in Euclidean Geometry: An Overview
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
Nathaniel Miller