差分多项式系统相关硕士博士期刊学术论文

由我国著名的数学家吴文俊先生首创的吴特征列方法是他的数学机械化理论的核心算法,机器证明的吴方法和方程求解的吴特征列方法均......