期刊文献+

数学的机械化 被引量:2

原文传递
导出
摘要 数学沿着两个方向发展:数学逻辑化和数学机械化.数学机械化就是数学操作的机械化分解,使之成为简单的、单调的、刻板的、重复的动作组合.数学机械化以中国传统数学为正宗,随着电子计算机的兴盛,数学机械化重新被人怀念.在这一领域的研究中,中国数学家走在前列.
作者 王志健
机构地区 暨南大学
出处 《数学的实践与认识》 CSCD 北大核心 1989年第3期25-32,共8页 Mathematics in Practice and Theory
  • 相关文献

同被引文献20

  • 1翟铁倪.选择题中的概率问题[J].数理统计与管理,1989,8(5):38-42. 被引量:5
  • 2戴世强.非线性力学问题的计算同代数研究[M].苏州:苏州大学出版社,1995.47-54.
  • 3陈之江.REDUCE语言简明教程[M].天津:南开大学出版社,1990.2.
  • 4衷任保 马建.计算机代数学[M].北京:科学出版社,1996.8.
  • 5沈凤仙.Mathematica手册[M].北京:科学出版社,1992.2.
  • 6朝鲁.吴-微分特征列集理论及其在微分方程对称和力学中的应用(学位论文)[M].大连:大连理工大学,1997..
  • 7董安明.Matematica高级编程人员示例参考[M].北京:学苑出版社,1994..
  • 8王志剑,数学的实践与认识,1989年,3期,25页
  • 9吴文俊,何定理与机器证明的基本原理,1984年
  • 10陶庆生,计算机代数及其应用,1991年,10页

引证文献2

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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