首页
|
English
|
中国科学院
在研项目
已结束项目
当前位置：
首页
>
科研成果
>
实验室主要在研项目
>
在研项目
• “863”项目子课题“ 初等数学问题求解关键技术及系统”
2017-02-10
• “中科院先导B类”项目“国家数学与交叉科学中心数学与先进制造交叉研究”
2014-06-23
• “国家自然科学基金面上”项目“基于签名的Groebner基算法及其应用”
2014-06-23
• “国家自然科学基金面上”项目“素数判定与整数分解”
2017-02-10
• “国家自然科学基金面上”项目“（半）代数系统的几何结构分析的高效算法及其应用”
2014-06-23
• “国家自然科学基金面上”项目“Hochschild（上）同调及其在代数表示论中的应用”
2017-02-10
• “国家自然科学基金面上”项目“凸代数几何中的若干问题研究”
2017-02-10
• “国家自然科学基金面上”项目“PT-对称的非线性波方程的波结构及其稳定性分析研究”
2017-02-10
• “国家自然科学基金面上”项目“流密码算法设计与分析机械化方法研究”
2017-02-10
• “国家自然科学基金面上”项目“格上最短向量问题的求解算法研究”
2017-02-10
• “国家自然科学基金面上”项目“几何定理机器证明的代数方法的等价性与完全性”
2017-02-10
<共2页>
Copyright© 中国科学院数学机械化重点实验室
地址：北京市海淀区中关村东路55号 邮编：100190
电话：86- 10-82541851 传真：86-10-82541809
京ICP备05002806号-1
