全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
科学通报  1988 

证明构造性几何定理的数值并行法

, PP. 1851-1851

Keywords: 数值并行法,多项式中交量的最高次数,参数的有效数字长度

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133