吴文俊的数学机械化理论及方法

吴文俊的数学机械化理论及方法+国铆莩院院刊第1期 成果与应用 吴文俊的数学机械化理论及方法 吴文达 (系统科学研究所数学机械化研究中一) 数学研究至少应包括定理证旺与方程求解两大主题.它高度汇聚了人类