本文已被：浏览 3096次 下载 2306次
中文摘要: 数学研究至少应包括定理证明与方程求解两大主题。它高度汇聚了人类的聪明才智。随着现代科学的发展,大量研究课题所需进行的繁复分析、演算和推导必须借助计算机才能完成。利用计算机部分代替人类的脑力劳动,是科学家们长期追求的目标,也是社会发展的必然需要。
Abstract:
keywords:
文章编号： 中图分类号： 文献标志码：
基金项目:
| Author Name | Affiliation |
引用文本：
吴文达.吴文俊的数学机械化理论及方法[J].中国科学院院刊,1991,(1):39-41.
.[J].Bulletin of Chinese Academy of Sciences,1991,(1):39-41.
吴文达.吴文俊的数学机械化理论及方法[J].中国科学院院刊,1991,(1):39-41.
.[J].Bulletin of Chinese Academy of Sciences,1991,(1):39-41.
