本文已被:浏览 3925次 下载 2618次
中文摘要: 计算机数学是研究算法的数学,是数学与计算机科学交叉融合产生的新兴学科。计算机数学主要研究内容包括:为算法研究提供数学工具的离散数学,研究算法共性的计算理论,从算法角度研究数学各个分支的机械化数学。本文简要回顾了计算机数学的历史,介绍了其主要内容并展望了未来的主要研究问题。
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
文章编号: 中图分类号:TP301.6 文献标志码:
基金项目:
作者 | 单位 |
高小山 | 中国科学院数学与系统科学研究院 |
Author Name | Affiliation |
Gao XiaoShan | Academy of Mathematics and Systems Science,CAS 100190 Beijing |
引用文本:
高小山.计算机数学的发展与展望[J].中国科学院院刊,2012,(2):189-196.
Gao XiaoShan.A Brief Introduction to Computer Mathematics[J].Bulletin of Chinese Academy of Sciences,2012,(2):189-196.
高小山.计算机数学的发展与展望[J].中国科学院院刊,2012,(2):189-196.
Gao XiaoShan.A Brief Introduction to Computer Mathematics[J].Bulletin of Chinese Academy of Sciences,2012,(2):189-196.