| 计算机数学的发展与展望 |
| |
| 引用本文： | 高小山.计算机数学的发展与展望[J].中国科学院院刊,2012,27(2):189-196. |
| |
| 作者姓名： | 高小山 |
| |
| 作者单位： | 中国科学院数学与系统科学研究院 北京 100190 |
| |
| 摘 要： | 计算机数学是研究算法的数学,是数学与计算机科学交叉融合产生的新兴学科。计算机数学主要研究内容包括:为算法研究提供数学工具的离散数学,研究算法共性的计算理论,从算法角度研究数学各个分支的机械化数学。本文简要回顾了计算机数学的历史,介绍了其主要内容并展望了未来的主要研究问题。
|
| 关 键 词： | 计算机数学 算法 离散数学 计算理论 机械化数学 |
A Brief Introduction to Computer Mathematics |
| |
| Gao XiaoShan.A Brief Introduction to Computer Mathematics[J].Bulletin of the Chinese Academy of Sciences,2012,27(2):189-196. |
| |
| Authors: | Gao XiaoShan |
| |
| Institution: | Gao XiaoShan(Academy of Mathematics and Systems Science,CAS 100190 Beijing) |
| |
| Abstract: | Computer mathematics is the mathematics discipline to study algorithms,which is an interdisciplinary research field originated from the interaction between mathematics and computer science.The main research domains of computer mathematics include discrete mathematics which provides basic tools for studying algorithms,theory of computation which studies the common properties of algorithms,and mechanized mathematics which focuses on the algorithmic study of various disciplines of mathematics.In this paper,the history,main research achievements,and future directions of computer mathematics are briefly introduced. |
| |
| Keywords: | computer mathematics algorithm discrete mathematics theory of computation mechanized mathematics |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《中国科学院院刊》浏览原始摘要信息 |
| 点击此处可从《中国科学院院刊》下载免费的PDF全文 |
