数学院数学机械化重点实验室（中文）

“中科院先导B类”项目“国家数学与交叉科学中心数学与先进制造交叉研究”

副标题：

时间：2014-06-23 来源：数学机械化重点实验室

项目负责人：李洪波

项目执行时间：2011.01-2015.12

经费来源：国家数学交叉中心

相关附件

相关文档