REPRESENTATION AND AUTOMATED TRANSFORMATION OF GEOMETRIC STATEMENTS
Chen, Xiaoyu · Acta Scientiarum Naturalium Universitatis Sunyatseni · 2014
在几何学，证明系统的各种各样的几何自动化定理，和有点有活力的几何学软件系统的数字资源的大数量的出现做了几何计算，推理，绘画，并且知识管理在计算机上动态、自动或交互。电子内容和不同系统的集成被需要提高他们的可接近性和 exploitability。这份报纸为由使用几何学软件系统操作在文学可得到的几何陈述建议一个相等的转变框架。如此的一个框架基于一种最新设计的几何学描述语言(GDL ) 工作，在哪个几何陈述能自然地并且容易被代表。作者讨论并且介绍自动地为操作把 GDL 陈述转变成目标系统土著人代表的关键过程。作者也由为编转变结果进能被目标几何学软件系统为自动化定理证明并且动态图绘画解释的可执行的格式说明相等的转变进程和接口表明框架。