首页| English| 中国科学院
当前位置：首页>科研成果>成果与获奖
姓 名 获奖名称 获奖项目 授奖年度
张志芳 应用数学欧拉奖 2007
万哲先 优秀指导教师奖 2007
李邦河 优秀指导教师奖 2007
高小山 数学与系统科学研究院“优秀成果奖” 几何自动作图方法、软件与应用 2003
支丽红 关肇直青年研究奖 快速混合计算方法 2007
闫振亚 系统科学研究所关肇直青年研究奖 2003
吴文俊 邵逸夫数学科学奖 数学机械化 2006
王世坤 吴可 中科院自然科学二等奖 量子对称性与量子群 2001
李子明 ISSAC杰出论文奖 计算奥尔模一阶子模的递归方法 2006
第五届国家图书奖 数学机械化 2001
高小山 中创软件人才奖 数学机械化软件 2006
李洪波 人事部全国优秀博士后称号 Clifford代数与自动推理 2001
高小山 “中国科学院先进工作者”称号 2006
吴文俊 国家最高科学技术奖 拓扑学与数学机械化 2000
支丽红 关肇直青年研究奖 符号数值混合计算 2006
王世坤 中科院自然科学一等奖 多复变数几何函数理论 2000
实验室 "十五"国家重大科技成就展 数学机械化 2005
高小山 中科院盈科优秀青年学者奖 2000
李子明 中科院数学院突出成果奖 奥尔(Ore)多项式的高效算法 2005
高小山 香港求是基金会"杰出青年学者奖" 1999
Copyright©  中国科学院数学与系统科学研究院数学机械化重点实验室
地址：北京市海淀区中关村东路55号  邮编：100190
电话：86- 10-82541851  传真：86-10-82541809
京ICP备05002806号-1