论文部分内容阅读
如何根据用户输入的已知条件生成几何图形是几何定理机器可读证明过程中首先要解决的问题。针对几何定理机器证明过程中图形的生成及动态变换问题，结合几何命题的构造性特点，提出了一种改进的几何约束求解算法，该方法通过代数方程组来表示和处理几何图形的约束关系，并将代数方程组化简为三角列式，通过对三角列式的求解来完成图形的生成和变换。通过对比证明该算法克服了传统方法的一些缺陷，并能较好地实现几何图形的动态特性。