正常升列相关硕士博士期刊学术论文 - 搜论网

正常升列相关论文

非线性代数方程组的扩WE相对单纯分解和真正常分解算法

在引言中,我们回顾了非线性代数方程组的理论及算法的研究历史、应用,特别介绍吴文俊在数学定理机械化证明方面多年的研究形成的多......

学位

正常升列整相关互素的零点相对单纯分解真正常升列真互素的

几何定理机器证明的扩WE分解算法

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

期刊

正常升列扩伪余式扩WE分解算法

看过本文同时还关注