- 实验室高小山研究员被聘为数学与系统科学研究院关肇直首席研究员(2009/12).
- 实验室张志芳助理研究员被聘为数学与系统科学研究院陈景润未来之星.
张志芳主要研究安全多方计算与秘密共享。(2009/12).
- 2009年10月27日至10月28日，中国科学院数学机械化重点实验室战略研讨会在香山饭店召开。实验室的成员悉数参加了本次研讨会。实验室高小山主任汇报了实验室今年评估的情况，冯如勇、袁春明、张志芳、冷福生、周凯、程进三、黄雷分别做了学术报告。 随后大家齐聚一堂，回顾和总结了实验室在过去遇到的各种实际问题；并各抒己见，对实验室的发展贡献了各自的观点和看法。2009/10/29
- 实验室李洪波研究员获得国家杰出青年科学基金资助.
李洪波主要从事几何计算与推理研究，建立了共形几何代数与高级不变量理论.(2009/10)
- 中国科学院常务副院长白春礼在新中国建国60周年、中科院建院60周年即将到来之际看望吴文俊院士。(2009/09/30)
- 实验室研究生黄震宇(导师：高小山)荣获中国科学院数学与系统科学研究院第七届院长奖学金特等奖，李博(导师：李邦河)、潘彦斌(导师：万哲先)获优秀奖。(2009/09/20)
- 9月3日上午，中国侨联副主席兼秘书长乔卫专程来到吴文俊院士家中看望。乔卫副主席代表中国侨联向吴先生及夫人表示了祝福和节日的问候，并祝贺吴先生今年被授予全国侨界“十杰”荣誉称号。陪同看望的有中国侨联文化交流部部长陈迈、中国科学院京区党委副书记隋红建、我院党委书记、副院长王跃飞等。
- 2009年7月21-26日，第四届国际代数几何与几何建模国际研讨会在云南丽江召开。会议由中科院数学机械化重点实验室和中国科学技术大学联合举办。来自美国、法国、澳大利亚、加拿大等多个国家及中国香港的专家学者以及来自中科院数学与系统科学研究院、中国科学技术大学、南开大学、首都师范大学等国内多所高校的教师和研究生共65余人参加了会议。此次会议共举办了10场学术报告，10余位国内外具有突出学术成果的专家学者，介绍了这一方向的最新进展。参加会议的国内外学者及师生在会议期间进行了深入广泛的讨论和交流。会议为国内外学者互相增进了解，加强互利合作提供了坚实的平台，为青年学者和研究生了解代数几何和几何建模等研究领域的最新动态，开拓了眼界提供了难得的机会，受到了广大青年学者的热烈响应和一致好评。
- 2009年7月14日，中国科学院数学与系统科学研究院研究员、中国科学院院士、世界著名数学家吴文俊在十四日开幕的“第八次全国归侨侨眷代表大会”上当选“侨界十杰”。(07/15/09)
- "数学机械化国际研讨会--庆祝吴文俊院士90华诞学术会"于2009年5月11日至5月13日在数学与系统科学研究院隆重召开。通讯稿，会议网址：http://mmrc.iss.ac.cn/wu90。(05/20/09)
- 2009年5月11-13日，数学机械化国际研讨会在中国科学院数学与系统科学研究院思源楼学术报告厅成功召开，会议由中科院数学机械化重点实验室主办，得到了国家基金委、中科院数学与系统科学研究院、中科院系统所的支持。会议的主要内容包括：符号与混合计算、自动推理、多项式方程求解、微分代数、计算拓扑、数学史。Bruno Buchberger, Komatsu Hikosaburo, Daniel Lazard, Hoon Hong，Francois Boulier, Vladimir Gerdt, Deepak Kapur,Kazuhiro Yokoyama，Erich Kaltofen，Stephen Watt, George Labhan, 张景中，杨路，李邦河，陈永川，陈发来，王东明、段海豹、李洪波、李子明、支丽红分别在会上作了邀请报告。会议还组织了数学史分会与展板介绍，共有70余个学术报告。共有来自七个国家的150余位学者参加本次会议。吴文俊院士亲临会议，感谢大家对本次会议余数学机械化研究的支持。通过本次会议，展示了国内外的最新研究成果，扩大了中科院数学机械化重点实验室的影响，推动了数学机械化理论研究与应用的发展。(05/20/09)
- 实验室李邦河院士由于在微分拓扑、低维拓扑的量子不变量、非标准分析和广义函数等领域的杰出贡献
荣获中国数学会第九届“华罗庚数学奖”。(04/24/09)
- 吴文俊院士被西安交通大学授予“西安交通大学最受崇敬校友”荣誉称号。(2009/05/08)
- 2009年4月11日，上海交通大学授予吴文俊院士杰出校友终生成就奖。(04/11/09)
- 实验室2009年开放课题基金申请已经开始。（04/13/09）
- 即将于韩国KIAS召开的第34届国际符号和代数计算会议(ACM ISSAC'09)上，本实验室有两篇论文都被接受。ISSAC是符号和代数计算方面最权威的国际会议。两篇被接受论文是：
1) Jin-San Cheng, Xiao-Shan Gao and Jia Li, Root Isolation for Bivariate Polynomial Systems with Local Generic Position Method.
2) Miroslav Halas, Ulle Kotta, Ziming Li, Huaifu Wang and Chunming Yuan, Submersive Rational Difference Systems and Formal Accessibility.
(04/01/09)
- 实验室张志芳博士获得2009年度中国科学院卢嘉锡青年人才奖。张志芳博士与合作者在多方安全计算、秘密共享等方面取得重要进展。(03/26/09)
- 中国科学院数学机械化重点实验室学术委员会会议于2009年3月17日在中科院数学与系统科学研究院召开。(03/19/09)
- 中国科学院出台外国专家特聘研究员计划与外籍青年科学家计划。欢迎满足条件的学者使用以上计划来实验室访问。 外籍青年科学家申报指南，外国专家申报指南。(03/04/09)
- 吴文达教授于2009年2月7日中午不幸因病在北京协和医院逝世，享年80岁。愿吴文达教授一路走好！详细。(02/09/09)
-
1月22日科技部曹健林副部长来到吴文俊院士家中看望吴文俊院士，向他恭贺新春和亲切问候，国家奖励办领导陪同看望。(01/22/09)
-
2008年12月24日至12月25日，中国科学院数学机械化重点实验室战略研讨会在京召开。实验室的成员悉数参加了本次研讨会。所有与会人员报告和总结了近年来在科研方面取得的进展，并对今后的工作进行了展望。随后大家齐聚一堂，回顾和总结了实验室在过去遇到的各种实际问题；并各抒己见，对实验室的发展贡献了各自的观点和看法。最后，研讨会制定了实验室未来几年的发展规划。整个过程中，与会代表们讨论热烈，交流充分，这次会议将对计算机数学今后的发展起到深远的影响。(01/20/09)
-
以实验室青年科研人员为主组成的研究团队获得了国家基金委优秀群体基金的支持。高小山为群体的学术带头人。(01/10/09)
- 实验室袁春明博士入选数学与系统科学院首届“陈景润未来之星”计划。袁春明主要研究微分-差分混合系统的特征列方法。他与合作者发展了微分-差分混合系统的特征列算法与预解式方法，扩展了数学机械化方法的适用范围。(01/08/09)
-
1月5日全国人大副委员长、中国科学院院长路甬祥来到吴文俊院士家中看望吴文俊院士，向他恭贺新春和亲切问候，并就数学的发展与应用进行了深入交谈。(01/06/09)
- 数学机械化实验室公开招聘数学机械化、符号计算、编码与密码方面各个层次的优秀学者。有意申请者，请于2009年1月31日前将简历、工作计划以及三篇代表性论文寄到: 北京中科院数学院 (100190)，周代珍，Email: dzhou@mmrc.iss.ac.cn.
|
