Towards a Geometric-Object-Oriented Language
This paper proposes a geometric-object-oriented language for symbolic geometric computation, reasoning, and visualization. In this language, geometric objects are constructed with indefinite parametric data. Modifications and basic operations on these objects are enabled. Degeneracy and uncertainty are handled effectively by means of imposing conditions and assumptions and geometric statements are formulated by declaring relations among different objects. A system implemented on the basis of this language will allow the user to perform geometric computation and reasoning rigorously and to prove geometric theorems and generate geometric diagrams and interactive documents automatically. We present the overall design of the language, explain the capabilities, features, main components of the proposed system, provide specifications for some of its functors, report our experiments with a preliminary implementation of the system, and discuss some encountered difficulties and research problems.
Unable to display preview. Download preview PDF.
- 1.Brown, C.: W., Hong, H.: QEPCAD — Quantifier elimination by partial cylindrical algebraic decomposition (2004), http://www.cs.usna.edu/~qepcad/B/QEPCAD.html
- 3.Hilbert, D.: Grundlagen der Geometrie. Teubner, Stuttgart (1899)Google Scholar
- 6.Kutzler, B.: Algebraic Approaches to Automated Geometry Theorem Proving. Ph.D. thesis, RISC-Linz, Johannes Kepler University, Austria (1988)Google Scholar
- 10.Wu, W.-t.: Mechanical Theorem Proving in Geometries: Basic Principles. Springer, Wien New York (1994) (translated from the Chinese by X. Jin and D. Wang)Google Scholar