@inproceedings{ba8609951dbb445a8bbde2ae45d51124,
title = "Towards a geometric-object-oriented language",
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 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.",
author = "Tielin Liang and Dongming Wang",
year = "2006",
doi = "10.1007/11615798\_9",
language = "英语",
isbn = "354031332X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "130--155",
booktitle = "Automated Deduction in Geometry - 5th International Workshop, ADG 2004, Revised Papers",
address = "德国",
note = "5th International Workshop on Automated Deduction in Geometry, ADG 2004 ; Conference date: 16-09-2004 Through 18-09-2004",
}