摘要
在 WR分解算法的基础上发展了辗转伪除法的理论 ,该方法通过计算扩伪余式确定适合的因式来分解升列 ,较 WR分解算法更有效地提高了定理机器证明效率 .
The author develops WE algorithm,which employs Wu’s division and Euclid’s algorithm, the author gets expanding WE algorithm ,which try to find special factor for decomposition,this method is more efficient than WR algorithm.
出处
《四川大学学报（自然科学版）》
CAS
CSCD
北大核心
2000年第3期331-335,共5页
Journal of Sichuan University(Natural Science Edition)
关键词
扩伪余式
扩WE分解算法
几何定理
机器证明
regular triangular set
expanding pseudoremainder
expanding WE decomnposition algorithm
