基于数值计算的几何定理自动搜索方法

该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统.该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的定理搜索.