数值并行法相关论文
为实现构造性几何定理机器证明的数值并行法,作者提供了一个证明机,它适用于由所谓"直线程序"构造的语句.......
几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计......
将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分......
阐述了例证法的理论,分析、论证了例证法应用于定理机器证明的可行性,介绍了几何命题代数化的方法和步骤,并介绍了数值并行例证法......
本文浅近地介绍以检验数值实例为基本手段的两种方法——洪加威提出单点例证法和张景中.杨路提出的数值并行法以及这两种方法与吴......
<正> 洪加威在文献[1]和[2]中指出:欲判定某类中的一个几何命题是否为真,只需近似地验证一个数值的特例即可。这开辟了几何定理机......