首页
|
English
|
中国科学院
实验室概况
实验室简介
实验室组织
学术委员会
研究队伍
固定成员
访问学者
科研成果
成果与获奖
实验室主要在研项目
实验室近期论文与专著
出版物与软件
人才培养
研究生及博士后招生
研究生及博士后获奖
在读研究生及博士后
毕业研究生及博士后
当前位置:
首页
>
科研成果
>
成果与获奖
姓 名
获奖名称
获奖项目
授奖年度
高小山
中国工业与应用数学学会首届会士
2020
贾晓红
中国工业与应用数学学会(CSIAM)应用数学青年科技奖
2020
贾晓红
国家优秀青年科学基金
2020
吴文俊
“人民科学家”国家荣誉称号
2019
吴文俊
最美奋斗者
2019
高小山
吴文俊人工智能杰出贡献奖
2019
高小山
《中国科学:数学》杰出服务奖
2019
高小山
科学出版社优秀作者
2019
闫振亚
国家杰出青年科学基金
2019
潘彦斌
全国密码算法设计竞赛(公钥算法)三等奖
TALE
2019
潘彦斌
全国密码算法设计竞赛(公钥算法)三等奖
FatSeal
2019
冯秀涛
全国密码算法设计竞赛(分组算法)三等奖
FBC
2019
陈绍示
吴文俊计算机数学青年学者奖
2019
贾晓红
2019年度数学院年度科研进展
基于椭球构型分析的碰撞检测方法
2019
高小山
首届吴文俊应用数学奖
2018
高小山
科学出版社优秀作者
2019
李伟
中科院数学院陈景润未来之星
2018
李博
第37届中国控制会议关肇直奖
Maxmum Capability of Feedback Control for Network Systems
2018
陈绍示
2018年度中科院数学院重要科研进展奖
组合恒等式机器证明中Wilf-Zeilberger猜想的证明
2018
李洪波
中科院数学院关肇直冠名研究员
2018
Copyright© 中国科学院数学机械化重点实验室
地址:北京市海淀区中关村东路55号 邮编:100190
电话:86- 10-82541851 传真:86-10-82541809
京ICP备05002806号-1