| 数学机械化与数学道理化 |
| |
| 引用本文： | 张鸿庆,梅建琴. 数学机械化与数学道理化[J]. 应用数学和力学, 2016, 0(7): 665-677. DOI: 10.21656/1000-0887.370115 |
| |
| 作者姓名： | 张鸿庆 梅建琴 |
| |
| 作者单位： | 大连理工大学数学科学学院,辽宁大连,116024 |
| |
| 基金项目： | 国家自然科学基金(11201048),中央高校基础研究基金(DUT16LK19) The National Natural Science Foundation of China(11201048) |
| |
| 摘 要： | 以中国传统文化为底蕴、机械化和道理化为特色的中国传统数学,曾经取得光辉的成就.将这些思想用于计算机科学、孤子理论和量子场论,不仅可以系统地产生已有结果,还可以开辟新的研究方向,取得重大突破.
|
| 关 键 词： | 数学机械化 数学道理化 计算机科学 孤子理论 量子场论 |
Mathematics Mechanization and Tao of Mathematics |
| |
| Abstract: | |
| |
| Keywords: | mathematics mechanization Tao of mathematics computer science soliton theory quantum field theory |
| 本文献已被 万方数据 等数据库收录！ |
|
