Key Laboratory of Mathematics Mechanization (KLMM) English Version

 

     

  1. 实验室吕卓生博士获得2004年度“中国科学院王宽诚博士后工作奖励基金”和“中国博士后科学基金”资助。

  2. “数学机械化重点实验室”和加拿大“西安大略计算机代数研究中心” (ORCCA)于2004年12月3日签定了合作备忘录。ORCCA研究人员来自于滑铁卢大学,西安大略大学,和MAPLE公司,是世界上符号计算最具影响的研究群体之一。实验室和ORCCA将继续在消元理论,混合计算,软件开发等领域加强合作,并共同申请两国的相关科研项目。

  3. 2004年11月8-9日,数学机械化重点实验室在香山别墅举行了实验室战略发展学术研讨会。李邦河院士介绍了吴方法和特征列在代数几何中的应用,刘木兰介绍了信息安全理论的发展,李洪波介绍了零括号代数及其几何应用,高小山综述了特征列方法与方程求解的最新进展,李子明介绍了微分差分方程机械化求解的最新情况,支丽红介绍了多项式混合计算的最新情况。最后,吴文俊院士作了会议总结。他说:听了两天的报告,非常高兴,讲两点看法,一是现在讲的吴方法或特征列方法源于中国的古代数学。二是,最近温总理讲到用计算机进行理论研究,是思维和工具的结合。我们现在要充分利用计算机这个工具开展数学研究。

  4. 中关村里话科学——温家宝看望著名科学家 新华社 北京11月2日电(记者秦杰)

  5. 2004年10月31日,温家宝总理看望了吴文俊等著名科学家,向他们和中科院几代科技人员致以崇高的敬意。(详细情况)

  6. 以数学机械化重点实验室为主要承担单位的“973”计划项目“数学机械化及其在信息技术中的应用”最近得到科技部批准立项。这一项目计划研究数学机械化理论、高效算法及其在信息安全、生物特征识别、几何建模等信息领域中的应用,并以此为基础开发智能型数学机械化网络软件,为科学研究与技术创新中的脑力劳动提供工具。

  7. 实验室李洪波研究员、支丽红副研究员、闫振亚助理研究员获得 2005 年度国家自然科学基金委员会面上基金。

  8.  9 月 24 日下午,在数学与系统科学研究院王跃飞书记和系统科学所张纪峰副所长的陪同下,国家人事部王晓初副部长与中科院沈保根副秘书长登门看望了吴文俊院士。王副部长和沈副秘书长亲切询问了吴文俊院士的身体和工作情况,并对吴先生为我国数学事业做出的卓越贡献表示敬意。吴文俊院士对领导的关心表示由衷地感谢。
    陪同看望的还有国家人事部专业技术人员管理司刘宝英司长以及中科院人教局李和风副局长等人。

  9. 实验室研究生谭作文,冯如勇获得2004年度中科院数学与系统科学研究院院长奖学金优秀奖。

  10. 2005年度国际符号和代数计算会议(ISSAC)即将于2005年7月24-27日在北京举行。ISSAC是符号和代数计算方面最权威的国际会议,这是首次在发展中国家举办。希望能够通过本次会议的举办促进我国相关学科的发展, 也希望国内学者踊跃投稿。 详情请见http://www.mmrc.iss.ac.cn/issac2005/

  11. 李洪波研究员主创(第一作者)的共形几何代数,现已成为国际几何代数研究的主流,获得高度评价。在计算机图形学,机器人,宇宙学等领域获得广泛应用。详见“共形几何代数”的国际反响

  12. 实验室研究生谭作文获得2004年度中国科学院院长奖学金优秀奖,冯如勇获得宝洁优秀博士生奖学金;谢福鼎博士获得第三十五批中国博士后科学基金资助;赵新超获得“中国科学院研究生科学与社会实践资助专项-创新研究类”项目名称:“演化计算在蛋白质折叠中的应用”。

  13. 实验室常务副主任李洪波研究员被确定为“新世纪百千万人才工程”首批国家级人选 。

  14. 数学机械化重点实验室博士生杨争峰获2004年度国际符号和代数计算会议(ISSAC)最佳学生论文奖。ISSAC是符号和代数计算方面最权威的国际会议。2004年度ISSAC共收到130多篇投稿论文。 杨争峰的文章是从43篇被接收的论文中选出的唯一一篇最佳学生论文。论文题目:Approximate factorization of multivariate pohynomials via differential equations(with Gao,Kaltofen, May,Zhi)。 这是国际符号和代数计算会议二十多年来,亚洲学生首次获此殊荣。

  15. 第八届数学机械化高级研究班将于2004年7月11-12日在北京举行。

  16. 2004年6月2日, 数学机械化重点实验室参加了中科院基础局主持的重点实验室评估。在专家现场考察期间,高小山、王世坤、李洪波、李子明代表试验室做了学术报告、王定康代表实验室进行了软件演示,吴文俊院士与万哲先院士对实验室的研究进行了展望,高小山代表实验室做了综合答辩。实验室在数理学科的评估中总分排名第一,并被推荐参加科技部组织的全国范围的评估。

  17. 2004年5月31日-6月4日,数学机械化重点实验室邀请7位外国专家来数学院做系列学术报告。

  18. “ 第七届国际数学机械化研讨会”-“几何不变量及其工程应用国际研讨会”于2004年5月24-28日在西安举行。 简报 照片

  19. “ 第六届国际数学机械化研讨会”于2004年5月19-21日在上海举行。 简报 照片

  20. 闫振亚博士获得2003年度系统科学所关肇直青年研究奖, 2004,2

  21. 高小山研究员获得数学与系统科学研究院“优秀成果奖”:几何自动作图方法、软件与应用, 2004,1

  22. 2004年1月18日上午,全国人大常委会副委员长、中国科学院党组书记、院长路甬祥在中国科学院院士工作局有关同志的陪同下,看望了吴文俊院士。

  23. 数学机械化重点实验室学术委员会会议于2004年1月9日召开.

  24. 在即将举行的 2004年度国际符号和代数计算会议(ISSAC)中,数学机械化重点实验室有6篇文章被接受,是历年来最多的一次。 ISSAC是符号和代数计算方面最权威的国际会议,文章接收率只有约1/3. 符号计算与数学机械化研究密切相关。 吴文俊先生曾应邀在 ISSAC87 上做邀请报告。 数学机械化中心成员自 1990 年以来在 ISSAC 大会上做 25 次报告,占国内在这一会议上报告的绝大多数。

  25. 数学机械化重点实验室博士生李明获中科院数学与系统科学研究院院长奖学金特别奖,唐春明获中科院数学与系统科学研究院院长奖学金优秀奖。李明申请的中科院科学与社会实践资助专项项目“逆向工程的研究及其动态软件的应用”得到资助。

  26. 数学机械化重点实验室万哲先获国家自然科学基金委员会 2004年度重点基金资助,刘木兰、王世坤、刘卓军获国家自然科学基金委员会2004年度面上基金资助, 马玉杰获国家自然科学基金委员会2004年青年基金资助。


______________________________________________________
Brief | Members | Activities | Projects | Publications
Software | Enrolling | Back to home page


Site Design ? Digital Data Workshop Design 2003