应用数学和力学2016，Vol.37Issue(7)：665-677,13.DOI:10.21656/1000-0887.370115
数学机械化与数学道理化
Mathematics Mechanization and Tao of Mathematics
摘要
关键词
数学机械化/数学道理化/计算机科学/孤子理论/量子场论Key words
mathematics mechanization/Tao of mathematics/computer science/soliton theory/quantum field theory分类
数理科学引用本文复制引用
张鸿庆,梅建琴..数学机械化与数学道理化[J].应用数学和力学,2016,37(7):665-677,13.基金项目
国家自然科学基金(11201048) （11201048）
中央高校基础研究基金(DUT16LK19) The National Natural Science Foundation of China(11201048) （DUT16LK19）
