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

"国家基金委创新研究群体"项目“数学机械化方法及其在信息技术中的应用”

副标题：

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

项目负责人：高小山

项目执行时间：2009.01-2014.12

经费来源：国家自然科学基金

相关附件

相关文档