Sciweavers

DIAGRAMS
2000
Springer

Case Analysis in Euclidean Geometry: An Overview

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 the computer system CDEG. The computational complexity of determining whether or not a given diagram is satisfiable is also briefly discussed. 1 A Diagrammatic Formal System To begin with, consider Euclid’s first proposition, which says that an equilateral triangle can be constructed on any given base. While Euclid wrote his proof in Greek with
Nathaniel Miller
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where DIAGRAMS
Authors Nathaniel Miller
Comments (0)