|
|||||
|
|
| 证明构造性几何定理的数值并行法 | |
| 引用本文： | 邓米克.证明构造性几何定理的数值并行法[J].科学通报,1988,33(24):1851-1851. |
| 作者姓名： | 邓米克 |
| 作者单位： | 中国科学技术大学数学系 合肥 |
| 摘 要： | 洪加威在文献1]和2]中指出:欲判定某类中的一个几何命题是否为真,只需近似地验证一个数值的特例即可。这开辟了几何定理机器证明的新研究领域,但因计算复杂度过大,目前难以实施。本文应用文献3]中提出的数值并行法来处理这类命题,即用验证多个例子的真伪来判断几何命题之真伪,使这一困难得以解决。这里的“例子”可能是平面几何中实际上不存在的,故而称此方法为数值并行法较多点例证法更为妥贴。这种方法的显著特点在于高度 |
| 关 键 词： | 数值并行法 多项式中交量的最高次数 参数的有效数字长度 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |