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

数学研究至少应包括定理证明与方程求解两大主题。它高度汇聚了人类的聪明才智。随着现代科学的发展,大量研究课题所需进行的繁复分析、演算和推导必须借助计算机才能完成。利用计算机部分代替人类的脑力劳动,是科学家们长期追求的目标,也是社会发展的必然需要。