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