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

“863”项目子课题“ 初等数学问题求解关键技术及系统”

副标题：

时间：2017-02-10 来源：数学机械化重点实验室

项目负责人：黄雷

项目执行时间：2015.01-2018.12

经费来源：科技部

相关附件

相关文档