几何定理机器证明的扩Ⅷ分解算法 (2000年)

【文件属性】：

文件名称：几何定理机器证明的扩Ⅷ分解算法 (2000年)

文件大小：251KB

文件格式：PDF

更新时间：2024-05-15 22:49:31

自然科学 论文

在WR分解算法的基础上发展了辗转伪除法的理论，该方法通过计算扩伪余式确定适合的因式来分解升列，较、ⅣR分解算法更有效地提高了定理机器证明效率。