首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
科研成果
>
成果与获奖
姓 名
获奖名称
获奖项目
授奖年度
潘彦斌 邓映蒲
中科院数学院2013年度十大科研进展
基于格的公钥密码体制的安全性分析
2013
程进三
中科院系统所2013年度关肇直奖
2013
孙笑涛
国家自然科学奖二等奖
模空间退化和向量丛的稳定性
2012
闫振亚
北京市科学技术奖二等奖
构造性理论与算法及其在复杂非线性系统中的应用
2012
刘卓军
科技兴检奖一等奖
消费品质量安全影响因子研究及标准研制
2012
闫振亚
中国科学院数学与系统科学研究院2012年度突出科研成果
复杂畸形波和物质波的构造与调控研究
2012
袁春明
2012年度系统所关肇直奖
2012
李伟 袁春明 高小山
2011年度ISSAC杰出论文奖
2011
闫振亚
《Appl. Math. Comput.》2005-2010年度最高被引频次论文奖
2011
高小山
‘十一五’国家科技计划执行突出贡献奖
2011
支丽红
第七届中国青年女科学家奖
2011
李子明
中科院人事局朱李月华优秀教师奖
2011
支丽红
中科院数学院突出科研成果奖
基于结构矩阵的符号数值混合计算研究
2011
李伟 袁春明 高小山
2011年度中科院数学院十大科研进展
2011
闫振亚
2011年度中科院数学院十大科研进展
2011
孙笑涛
中科院数学院华罗庚首席研究员
2011
吴文俊
国家科技进步二等奖
数学小丛书
2010
李邦河
何梁何利基金科学与技术奖
2010
李洪波
国家杰出青年科学基金资助
2010
孙笑涛
北京市科学技术奖三等奖
代数几何中的向量丛
2010
Copyright© 中国科学院数学与系统科学研究院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1