%0 Journal Article
%T 基于数值计算的几何定理自动搜索方法
%A 薛利
%A 侯晓荣
%J 华东师范大学学报(自然科学版)
%P 87-91
%D 2006
%X 该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统.该系统不但可以证明构造性的初等平面几何命题，而且也实现了对非构造性几何命题的定理搜索.
%K 自动推理
%K 数值计算
%K 例证法
%K 非构造性问题
%K 自动推理
%K 数值计算
%K 例证法
%K 非构造性问题
%U http://xblk.ecnu.edu.cn/CN/abstract/abstract23849.shtml