On the design and implementation of a geometric-object-oriented language
On the design and implementation of a geometric-object-oriented language
复制标题
DOI：
10.1007/s11704-007-0018-z
复制
发表时间：
2007-06
影响因子：
--
通讯作者：
Tielin Liang;Dongming Wang
中科院分区：
文献类型：
--
作者：
Tielin Liang;Dongming Wang
本文提出了一种面向几何对象的语言Gool的设计和实现，用于构造、表示、操作和可视化符号几何对象和关系，并执行符号几何计算和形式推理。该语言使用大小写区分来形式化符号几何对象和关系，将处理不确定性和退化的问题简化为处理几何约束的问题。我们描述了Gool的功能、特性和主要组件，提出了几种几何约束处理技术，并讨论了一些实现问题。
This paper presents the design and implementation of a geometric-object-oriented language Gool for constructing, representing, manipulating, and visualizing symbolic geometric objects and relations and performing symbolic geometric computation and formal reasoning. The language uses case distinction to formalize symbolic geometric objects and relations, reducing the problem of dealing with uncertainty and degeneracy to that of handling geometric constraints. We describe the capabilities, features, and main components of Gool, propose several techniques for geometric constraint handling, and discuss some of the implementation issues.