首页
|
English
|
中国科学院
在研项目
已结束项目
当前位置：
首页
>
科研成果
>
实验室主要在研项目
>
已结束项目
• “973”计划项目“数学机械化方法及其在数字化设计制造中的应用”
2014-06-23
• “973”计划项目“数学机械化及其在信息领域的应用”
2014-06-23
• “973”计划项目“数学机械化与自动推理平台”
2014-06-23
• “国家攀登计划”项目“数学机械化及其应用”
2014-06-23
• “国家攀登计划”项目“机器证明及其应用”
2014-06-23
• 国家重大专项“基础制造装备与数控机床”项目“基于龙芯的高档数控系统研制”
2014-06-23
• “国家科技支撑计划”项目“产品质量安全风险监测指标获取及筛查技术研究”
2014-06-23
• "国家基金委创新研究群体"项目“数学机械化方法及其在信息技术中的应用”
2014-06-23
• “国家基金委重点”项目“基于符号-数值混合计算的误差可控算法及其应用”
2014-06-23
• “国家自然科学基金面上”项目“代数的Hochschild同调与同调维数”
2014-06-23
• “国家自然科学基金面上”项目“非自治光学畸形波的激发机理、参量调控和动力学研究”
2014-06-23
<共2页>
Copyright© 中国科学院数学机械化重点实验室
地址：北京市海淀区中关村东路55号 邮编：100190
电话：86- 10-82541851 传真：86-10-82541809
京ICP备05002806号-1
