真互素的相关硕士博士期刊学术论文

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