Key Laboratory of Mathematics Mechanization (KLMM) English Version

 

  1. 10月17日至10月21日数学机械化重点实验室,北航数学系和美国北卡罗莱那州立大学数学系Symbolic Solutions Group,在美国北卡罗莱那州立大学举行了符号计算联合研讨会。该会议得到了中国和美国自然科学基金委员会的资助。中方参加人员包括:高小山、李子明、支丽红、冯如勇、王东明和五名研究生;美方参加人员包括:Michael Singer, Erich Kaltofen, Hoon Hong, Agnes Santos, Irina Kogan 和他们的研究生。会议重点讨论了微分差分方程求解、符号数值计算和几何约束求解等方面的前沿问题。并进行了深入的面对面讨论。下次联合研讨会订于2007年3月初在中国举行。会议报告题目见: http://www.math.ncsu.edu/SymbComp/ncsuchina.html(05/11/01)

  2. 10月21日,由人事部、全国博士后管委会组织的全国优秀博士后表彰大会在人民大会堂隆重举行。实验室李洪波研究员在此次会议上被授予“全国优秀博士后”荣誉称号。此次表彰会是为纪念博士后制度实施20周年,宣传表彰在各条战线、各个领域做出突出贡献的博士后研究人员和博士后工作先进单位、先进个人,明确今后博士后事业的工作重点和发展方向而召开的。(05/11/01)

  3. 9月26日,吴文俊院士被聘为中国石油大学(东营)荣誉教授。当天,吴院士参观了石油大学校史陈列馆与展览馆、重质油国家重点实验室、高压水射流研究中心和石大科技集团,并出席了“授予吴文俊院士荣誉教授仪式暨学术报告会”;次日吴院士接受了山东卫视的专访。详见 (05/09/30)

  4. 数学机械化研究成果入选国家"十五"重大科技成就展。成就展于9月18日在北京海淀展览馆开幕。据科技日报报道,“近年来,我国基础科学研究水平稳步提升,取得了一系列重大科学发现和发明……在基础科学研究领域,数学机械化研究、澄江动物群脊椎动物起源研究等成就,得到了举世公认。”(05/09/21)------------------------------ --------------------------------------------------------------------------------

  5. 第三届数学与系统科学研究院院长奖学金评选揭晓,实验室杨争峰(导师:吴文俊、支丽红)、程进三(导师:高小山)两位同学获院长奖学金优秀奖。杨争峰同学还获得了“宝洁优秀博士生”奖。杨争峰求解了近似多元多项式的最大公因子和因式分解问题,并解决了对于给定亏秩结构矩阵逼近问题;程进三给出了计算代数曲面内在拓扑的高效实用算法,并独立编写数学机械化自动推理平台中的子程序——MMP-Blending。 (05/09/13)

  6. 根据刘徽注释的中国古代数学经典著作——《九章算术》法文译本出版新闻发布会7月30日在北京法国文化中心举行。吴文俊院士在会上盛赞《九章算术》法文译本的编译工作是一件在数学史上具有特殊意义的活动。他还把近年来中法间的文化交往活动比作新的“丝绸之路”,而《九章算术》的法文译本就是这条“丝绸之路”上输送的奇珍异宝。(05/08/03)

  7. 第三十届“符号与代数计算国际会议”(ISSAC’2005)于2005年7月24日至27日在北京友谊宾馆举行。ISSAC是符号和代数计算方面最权威的国际会议。本次会议由数学机械化重点实验室主办。会议包括三个邀请报告、48个学术报告、三个短期课程、三个卫星会议以及墙报交流与软件演示。会议代表180余人,其中国外学者103人。吴文俊院士应邀在ISSAC’2005做邀请报告。这是继他在ISSAC’87上做邀请报告以来第二次在ISSAC会议上做邀请报告。Groebner基理论的创立者B. Buchberger与法国学者B. Salvey也应邀做了邀请报告。

  8. 密码学与代数方法国际研讨会(The Workshop of Algebraic Methods in Cryptography)于2005年7月23日至24日在北京友谊宾馆科学会堂举行。本次会议由系统科学研究所主办,来自中国、美国、法国、德国、加拿大、新加坡和中国香港地区的多位学者参加了这次研讨会。会议期间,与会者听取了五个邀请报告,另有十位学者在会上做学术交流。来自法国的密码专家 Nicolas T. Courtois 和来自德国的密码专家 Frederik Armknecht 介绍了代数攻击的最新进展和一些特别关注的问题及一些重要概念,引起与会者的广泛举和热烈讨论。来自香港城市大学的邓小铁教授,来自美国辛辛那提大学的丁津泰教授和来自新加坡大学的邢朝平教授分别就匿名漫游协议的安全性分析,多变元公钥密码体制的摄动和利用曲线构造认证友的话题做了专题报告。

  9. 数学机械化实验室闫振亚博士荣获2005年度全国百篇优秀博士论文。闫振亚博士提出了基于低阶微分方程求解非线性微分方程精确解的机械化算法,提出了混沌和超混沌系统的广义同步算法以及Q-S同步机理和自动推理算法。他的工作得到国际同行的广泛的引用与好评。

  10. 2005年度中国科学院各类奖学金初评工作于近日结束,实验室冯如勇同学被推荐院长优秀奖。

  11. 5月15日是中国科学院北京公众科学日。数学机械化重点实验室由博士生徐荣华介绍了实验室的基本情况和学术进展,程进三进行软件演示,引起参观者的浓厚兴趣。前来参观的人络绎不绝。参观者以北京地区的低年级大学生为主,不少人感言根据数学机械化理论和方法开发的软件,其功能超出他们的想象,期望以后来实验室学习深造。

  12. “有限域及其应用研讨会”于2005527日至29日在中国科学院数学与系统科学研究院晨兴数学中心举行。详见

  13. 2005年5月31日,国家科协主席、973计划专家顾问组组长周光召院士视察数学机械化重点实验室主持的973项目“数学机械化方法及其在信息技术中的应用”的执行情况。973计划专家顾问组林泉副组长、科技部基础司张先恩司长、崔拓处长陪同视察。吴文俊院士、高小山研究员、许超教授、中星微电子邓中翰董事长、张辉副总裁参加了视察。周光召同志强调973项目在基础研究方面要努力做出重大创新成果、争取获得国家自然科学奖励,另外也要重视面向国家需求的应用基础研究。这次主要是通过介绍数学机械化973项目,加强与中星微电子互相了解,希望双方能够开展合作。周光召同志指出,面向应用的研究要选好切入点,要特别重视那些国际标准还没有确立的领域,把握好时机努力将我们的技术变为实际的行业标准。视察中,高小山介绍了973项目在信息技术方面的研究成果、许超介绍了项目在信息压缩、模式识别方面的成果、邓中翰介绍了中星微电子的研发情况,双方商定将进一步探讨合作的途径。

  14. 973项目“数学机械化方法及其在信息技术中的应用”召开“学术交流与汇报会”详见

  15. 数学机械化重点实验室拟招聘学术秘书一名 ,详见

  16. 数学机械化实验室已开始受理2005年度开放课题申报工作。

  17. 2005321-22日,中国科学院数学机械化重点实验室参加了国家自然科学基金委主持的国家重点实验室和部门重点实验室的评估。李大潜院士任评估组组长。在专家现场考察期间,高小山代表实验室做了综合答辩。李洪波、王世坤、刘木兰、高小山作了学术报告,王定康进行了软件演示。吴文俊院士对数学机械化的发展进行了展望。评估组还对实验室的科研环境、机房、成果展示进行了考察。评估结束时评估组向实验室口头宣布了评估意见,对实验室5年来的工作给予了肯定。郭雷院长代表研究院感谢评估组来我院评估和指导工作。

  18. 李洪波研究员“共形几何代数与零括号代数”获得2004年度研究院突出科研成果奖。

  19. 实验室第一届学术委员会第二次会议召开

  20. 2005年1月31日下午,科技部徐冠华部长看望了吴文俊院士,向他表达了节日的慰问。徐部长还与吴先生讨论了我国科技发展中的一些问题。陪同看望的有国家奖励办的领导与科技部有关部门的领导。


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


Site Design ? Digital Data Workshop Design 2003