扩伪余式相关硕士博士期刊学术论文

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