%0 Journal Article
%T 证明构造性几何定理的数值并行法
%A 邓米克
%J 科学通报
%P 1851-1851
%D 1988
%X 洪加威在文献[1]和[2]中指出欲判定某类中的一个几何命题是否为真,只需近似地验证一个数值的特例即可。这开辟了几何定理机器证明的新研究领域,但因计算复杂度过大,目前难以实施。本文应用文献[3]中提出的数值并行法来处理这类命题,即用验证多个例子的真伪来判断几何命题之真伪,使这一困难得以解决。这里的“例子”可能是平面几何中实际上不存在的,故而称此方法为数值并行法较多点例证法更为妥贴。这种方法的显著特点在于高度
%K 数值并行法
%K 多项式中交量的最高次数
%K 参数的有效数字长度
%U http://csb.scichina.com:8080/CN/abstract/abstract358824.shtml