10.3969/j.issn.1000-386x.2012.09.011
一种基于可处理不等式约束的动态几何自动作图软件GeoDraw
针对目前大部分几何作图软件只能处理等式约束的不足,设计并实现一种基于可处理不等式约束的动态几何自动作图软件GeoDraw.该软件应用符号和数值混合计算,将构造式和生成式作图方法相结合,可以有效地生成含有不等式约束的动态几何图形,能通过鼠标点击和拖拽图形中的自由元素改变更新图形,并且在图形变化中动态地保持几何约束关系,主要应用于几何教学与研究.整个作图过程包括Maple中的三角分解,QEPCAD中的实量词消去以及Java中的语义解析、数值计算和图形生成等,且是完全自动的.
动态几何图形、自动作图、不等式约束、符号和数值计算、生成式作图、三角分解、量词消去
29
TP319(计算技术、计算机技术)
法国国家科研署和中国国家自然科学基金联合项目ANR-09-BLAN-0371-01/60911130369;软件开发环境国家重点实验室开放课题项目SKLSDE-2011KF-02
2013-03-13（万方平台首次上网日期，不代表论文的发表时间）
共5页
41-44,65
