期刊文献+

计算机数学的特点及其应用研究 被引量:4

下载PDF
导出
摘要 在对算法的研究中,计算机数学的作用较大,它是通过把数学与计算机学科融合在一起,然后形成的一门新学科。在算法研究中,离散数学可以为其提供分析工具。计算机数学的一个重要内容是从算法的角度对数学的多个分支进行研究。因此,对计算机数学的特点进行了阐述,并对计算机数学的应用进行了相关研究。
作者 曹佳明
出处 《科技与创新》 2018年第1期96-97,共2页 Science and Technology & Innovation
  • 相关文献

参考文献1

二级参考文献10

  • 1数学机械化研究报告(MM-Preprints),中科院数学机械化重点实验室,第1-26期,1987-2007,http://www.mmrc.iss.ac.cn/mmpreprints.
  • 2Chou S C. Mechanical Geometry Theorem Proving, D. Reidel, 1988.
  • 3Chou S C, Gao X S and Zhang J Z. Machine Proof in Geometry. World Scientific, Singapore, 1994.
  • 4Gao X S and Wang D M (eds). Mathematics Mechanization and Applications. Academic Press, 2000.
  • 5Li H. Invariant Algebras and Geometric Reasoning. World Scientific, Singapore, 2008.
  • 6Kapur D and Mundy J L (eds). Geometric Reasoning. MIT Press, 1989.
  • 7Wang D M. Elimination Methods. Soringer, Wien, 2000.
  • 8Basic Principles of Mechanical Theorem Proving in Geometries(英语翻译版),Springer,Wien,1994.
  • 9Wu W T. Mathematics Mechanization. Science Press/Kluwer Acad. Publisher, 2000.
  • 10数学机械化丛书.科学出版社,第1-11卷,2003-2007,http://www.mmrc.iss.ac.cn/mmbooks/.

共引文献8

同被引文献17

引证文献4

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部