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

“国家基金委重点”项目“基于符号-数值混合计算的误差可控算法及其应用”

副标题：

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

项目负责人：支丽红

项目执行时间：2012.01-2015.12

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

相关附件

相关文档