符号解论文

论文摘要由我国著名的数学家吴文俊先生首创的吴特征列方法是他的数学机械化理论的核心算法,机器证明的吴方法和方程求解的吴特征列方法均以此为基础。代数系统和微分方程系统的吴特征列方法...