吴文达.吴文俊的数学机械化理论及方法[J].中国科学院院刊,1991,(1):39-41.
吴文俊的数学机械化理论及方法
吴文俊的数学机械化理论及方法
作者
吴文达
中国科学院系统科学研究所数学机械化研究中心
中国科学院系统科学研究所数学机械化研究中心
中文关键词
数学机械化;吴文俊;吴方法;理论及方法;机械化证明;初等几何;算法;几何定理;多元多项式方程;正五边形
中文摘要
数学研究至少应包括定理证明与方程求解两大主题。它高度汇聚了人类的聪明才智。随着现代科学的发展,大量研究课题所需进行的繁复分析、演算和推导必须借助计算机才能完成。利用计算机部分代替人类的脑力劳动,是科学家们长期追求的目标,也是社会发展的必然需要。
