摘要
计算机数学是研究算法的数学,是数学与计算机科学交叉融合产生的新兴学科。计算机数学主要研究内容包括:为算法研究提供数学工具的离散数学,研究算法共性的计算理论,从算法角度研究数学各个分支的机械化数学。本文简要回顾了计算机数学的历史,介绍了其主要内容并展望了未来的主要研究问题。
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.
出处
《中国科学院院刊》
2012年第2期189-196,共8页
Bulletin of Chinese Academy of Sciences
关键词
计算机数学
算法
离散数学
计算理论
机械化数学
computer mathematics
algorithm
discrete mathematics
theory of computation
mechanized mathematics
