首页| English| 中国科学院
当前位置：首页>科研成果>成果与获奖
姓 名 获奖名称 获奖项目 授奖年度
张志芳 应用数学欧拉奖 2007
万哲先 优秀指导教师奖 2007
李邦河 优秀指导教师奖 2007
支丽红 关肇直青年研究奖 快速混合计算方法 2007
吴文俊 邵逸夫数学科学奖 数学机械化 2006
李子明 ISSAC杰出论文奖 计算奥尔模一阶子模的递归方法 2006
高小山 中创软件人才奖 数学机械化软件 2006
高小山 “中国科学院先进工作者”称号 2006
支丽红 关肇直青年研究奖 符号数值混合计算 2006
实验室 "十五"国家重大科技成就展 数学机械化 2005
李子明 中科院数学院突出成果奖 奥尔(Ore)多项式的高效算法 2005
刘木兰 中科院数学院突出成果奖 密钥共享体制和安全多方计算 2005
李洪波 全国优秀博士后 2005
闫振亚 全国百篇优秀博士论文 2005
万哲先 科学出版社优秀作者奖 2004
李洪波 首批国家级"新世纪百千万人才工程" 2004
李洪波 数学与系统科学研究院“优秀成果奖” 共形几何代数和零括号代数 2004
闫振亚 辽宁省优秀博士论文奖 2004
高小山 数学与系统科学研究院“优秀成果奖” 几何自动作图方法、软件与应用 2003
闫振亚 系统科学研究所关肇直青年研究奖 2003
Copyright©  中国科学院数学与系统科学研究院数学机械化重点实验室
地址：北京市海淀区中关村东路55号  邮编：100190
电话：86- 10-82541851  传真：86-10-82541809
京ICP备05002806号-1