期刊文献+

什么是机械化数学

在线阅读 下载PDF
导出
摘要 1.概述 随着数学研究的不断发展和深入,在许多数学分支,尤其在那些涉及非线性数学问题的学科,往往出现大量的推导和繁复的计算。它们不仅耗费了数学家们大量的时间和宝贵的精力,而且有些问题之繁,即使投入再多的人力也是难以完成的。电子计算机则以其高速、准确的计算,能在可接受的时间之内实现这些繁杂的推导和计算。这无疑将给数学家们带来极大的便利,使得他们不仅能够研讨那些涉及繁杂推导和运算的课题,而且可以节省出更多的时间和精力投入到那些更能发挥自己聪明才智的研究中去。
作者 程新跃
出处 《重庆师专学报》 1994年第4期60-65,共6页 Journal of Chongqing Teachers College
  • 相关文献

参考文献3

二级参考文献3

共引文献13

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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