| 注册
首页|期刊导航|应用数学和力学|数学机械化与数学道理化

数学机械化与数学道理化

张鸿庆 梅建琴

应用数学和力学2016,Vol.37Issue(7):665-677,13.
应用数学和力学2016,Vol.37Issue(7):665-677,13.DOI:10.21656/1000-0887.370115

数学机械化与数学道理化

Mathematics Mechanization and Tao of Mathematics

张鸿庆 1梅建琴1

作者信息

  • 1. 大连理工大学数学科学学院,辽宁大连116024
  • 折叠

摘要

关键词

数学机械化/数学道理化/计算机科学/孤子理论/量子场论

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)

应用数学和力学

OA北大核心CSCDCSTPCD

1000-0887

访问量0
|
下载量0
段落导航相关论文