%0 Journal Article %1 keyhere %A Liang, Tielin %A Wang, Dongming %D 2006 %J Automated Deduction in Geometry %K geometry language %P 130--155 %T Towards a Geometric-Object-Oriented Language %U http://dx.doi.org/10.1007/11615798_9 %X 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 onthese objects are enabled. Degeneracy and uncertainty are handled effectively by means of imposing conditions and assumptionsand geometric statements are formulated by declaring relations among different objects. A system implemented on the basisof this language will allow the user to perform geometric computation and reasoning rigorously and to prove geometric theoremsand generate geometric diagrams and interactive documents automatically. We present the overall design of the language, explainthe capabilities, features, main components of the proposed system, provide specifications for some of its functors, reportour experiments with a preliminary implementation of the system, and discuss some encountered difficulties and research problems.

@article{keyhere, abstract = {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 onthese objects are enabled. Degeneracy and uncertainty are handled effectively by means of imposing conditions and assumptionsand geometric statements are formulated by declaring relations among different objects. A system implemented on the basisof this language will allow the user to perform geometric computation and reasoning rigorously and to prove geometric theoremsand generate geometric diagrams and interactive documents automatically. We present the overall design of the language, explainthe capabilities, features, main components of the proposed system, provide specifications for some of its functors, reportour experiments with a preliminary implementation of the system, and discuss some encountered difficulties and research problems.}, added-at = {2008-05-22T14:04:28.000+0200}, author = {Liang, Tielin and Wang, Dongming}, biburl = {https://www.bibsonomy.org/bibtex/227cc1a2c44d537d93977fa302597115b/toni}, description = {SpringerLink - Book Chapter}, interhash = {262240c7c4233b270fc212ba07e19f8c}, intrahash = {27cc1a2c44d537d93977fa302597115b}, journal = {Automated Deduction in Geometry}, keywords = {geometry language}, pages = {130--155}, timestamp = {2008-06-05T14:36:10.000+0200}, title = {Towards a Geometric-Object-Oriented Language}, url = {http://dx.doi.org/10.1007/11615798_9}, year = 2006 }