167
Voted
DIAGRAMS
2000
Springer
16 years 5 days ago
2000
Springer
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...