%0 Journal Article
%T 数学机械化与数学道理化
%A 张鸿庆
%A 梅建琴
%J 应用数学和力学
%D 2016
%R 10.21656/1000-0887.370115
%X 摘要 以中国传统文化为底蕴、机械化和道理化为特色的中国传统数学，曾经取得光辉的成就.将这些思想用于计算机科学、孤子理论和量子场论，不仅可以系统地产生已有结果，还可以开辟新的研究方向，取得重大突破
%K 数学机械化
%K 数学道理化
%K 计算机科学
%K 孤子理论
%K 量子场论
%U http://www.applmathmech.cn/CN/abstract/abstract5052.shtml