Key Laboratory of Mathematics Mechanization (KLMM) English Version

  1. 由中国科学院数学机械化重点实验室主办的“第四届微分代数以及相关课题国际研讨会”将于2010年10月27日到30日在北京举行；会议的网址: http://mmrc.iss.ac.cn/~dart4 。(2010/3/5)
  2. 2009年10月27日至10月28日，中国科学院数学机械化重点实验室战略研讨会在香山饭店召开。实验室的成员悉数参加了本次研讨会。实验室高小山主任汇报了实验室今年评估的情况，冯如勇、袁春明、张志芳、冷福生、周凯、程进三、黄雷分别做了学术报告。 随后大家齐聚一堂，回顾和总结了实验室在过去遇到的各种实际问题；并各抒己见，对实验室的发展贡献了各自的观点和看法。2009/10/29


    caojianlin
  3. 中国科学院常务副院长白春礼在新中国建国60周年、中科院建院60周年即将到来之际看望吴文俊院士。(2009/09/30)
  4. 实验室研究生黄震宇(导师：高小山)荣获中国科学院数学与系统科学研究院第七届院长奖学金特等奖，李博(导师：李邦河)、潘彦斌(导师：万哲先)获优秀奖。(2009/09/20)
  5. 9月3日上午，中国侨联副主席兼秘书长乔卫专程来到吴文俊院士家中看望。乔卫副主席代表中国侨联向吴先生及夫人表示了祝福和节日的问候，并祝贺吴先生今年被授予全国侨界“十杰”荣誉称号。陪同看望的有中国侨联文化交流部部长陈迈、中国科学院京区党委副书记隋红建、我院党委书记、副院长王跃飞等。


    caojianlin
  6. 2009年7月21-26日，第四届国际代数几何与几何建模国际研讨会在云南丽江召开。会议由中科院数学机械化重点实验室和中国科学技术大学联合举办。来自美国、法国、澳大利亚、加拿大等多个国家及中国香港的专家学者以及来自中科院数学与系统科学研究院、中国科学技术大学、南开大学、首都师范大学等国内多所高校的教师和研究生共65余人参加了会议。此次会议共举办了10场学术报告，10余位国内外具有突出学术成果的专家学者，介绍了这一方向的最新进展。参加会议的国内外学者及师生在会议期间进行了深入广泛的讨论和交流。会议为国内外学者互相增进了解，加强互利合作提供了坚实的平台，为青年学者和研究生了解代数几何和几何建模等研究领域的最新动态，开拓了眼界提供了难得的机会，受到了广大青年学者的热烈响应和一致好评。


    caojianlin
  7. 2009年7月14日，中国科学院数学与系统科学研究院研究员、中国科学院院士、世界著名数学家吴文俊在十四日开幕的“第八次全国归侨侨眷代表大会”上当选“侨界十杰”。(07/15/09)
  8. "数学机械化国际研讨会--庆祝吴文俊院士90华诞学术会"于2009年5月11日至5月13日在数学与系统科学研究院隆重召开。通讯稿，会议网址：http://mmrc.iss.ac.cn/wu90。(05/20/09)
    caojianlin
  9. 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)
    caojianlin
  10. 实验室李邦河院士由于在微分拓扑、低维拓扑的量子不变量、非标准分析和广义函数等领域的杰出贡献 荣获中国数学会第九届“华罗庚数学奖”。(04/24/09)
    libanghe
  11. 吴文俊院士被西安交通大学授予“西安交通大学最受崇敬校友”荣誉称号。(2009/05/08)
  12. 2009年4月11日，上海交通大学授予吴文俊院士杰出校友终生成就奖。(04/11/09)
  13. 实验室2009年开放课题基金申请已经开始。（04/13/09）
  14. 即将于韩国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)
  15. 实验室张志芳博士获得2009年度中国科学院卢嘉锡青年人才奖。张志芳博士与合作者在多方安全计算、秘密共享等方面取得重要进展。(03/26/09)
  16. 中国科学院数学机械化重点实验室学术委员会会议于2009年3月17日在中科院数学与系统科学研究院召开。(03/19/09)
  17. 中国科学院出台外国专家特聘研究员计划与外籍青年科学家计划。欢迎满足条件的学者使用以上计划来实验室访问。 外籍青年科学家申报指南，外国专家申报指南。(03/04/09)
  18. 吴文达教授于2009年2月7日中午不幸因病在北京协和医院逝世，享年80岁。愿吴文达教授一路走好！详细。(02/09/09)
  19. 1月22日科技部曹健林副部长来到吴文俊院士家中看望吴文俊院士，向他恭贺新春和亲切问候，国家奖励办领导陪同看望。(01/22/09)
    caojianlin
  20. 2008年12月24日至12月25日，中国科学院数学机械化重点实验室战略研讨会在京召开。实验室的成员悉数参加了本次研讨会。所有与会人员报告和总结了近年来在科研方面取得的进展，并对今后的工作进行了展望。随后大家齐聚一堂，回顾和总结了实验室在过去遇到的各种实际问题；并各抒己见，对实验室的发展贡献了各自的观点和看法。最后，研讨会制定了实验室未来几年的发展规划。整个过程中，与会代表们讨论热烈，交流充分，这次会议将对计算机数学今后的发展起到深远的影响。(01/20/09)
  21. 以实验室青年科研人员为主组成的研究团队获得了国家基金委优秀群体基金的支持。高小山为群体的学术带头人。(01/10/09)
  22. 实验室袁春明博士入选数学与系统科学院首届“陈景润未来之星”计划。袁春明主要研究微分-差分混合系统的特征列方法。他与合作者发展了微分-差分混合系统的特征列算法与预解式方法，扩展了数学机械化方法的适用范围。(01/08/09)
  23. 1月5日全国人大副委员长、中国科学院院长路甬祥来到吴文俊院士家中看望吴文俊院士，向他恭贺新春和亲切问候，并就数学的发展与应用进行了深入交谈。(01/06/09)
    luyongxiang
  24. 数学机械化实验室公开招聘数学机械化、符号计算、编码与密码方面各个层次的优秀学者。有意申请者，请于2009年1月31日前将简历、工作计划以及三篇代表性论文寄到: 北京中科院数学院 (100190)，周代珍，Email: dzhou@mmrc.iss.ac.cn.
  25. 2008年10月24日，国家重点基础研究发展计划 (973) 项目"数学机械化及其在信息技术中的应用"学术交流与汇报会同时在中国石油大举行。项目首席专家介绍了项目的总体情况，课题组长介绍了各课题组情况。2008年度，本项目在面向学科前沿和重大应用背景的研究、人才培养、学术合作与交流等方面全面完成了年度计划，在几何堆积与覆问题、Clifford 差分环、组合恒等式机器证明、微分方程 PT-对称研究、符号实代数理论与应用研究、程序验证、代数免疫度、分组密码体制、三维空间曲线旋转最小框架、T网格上的样条函数、成分数据的特征提取等方面取得突出成果。项目承担人共发表论文350余篇；获得奖励8项，包括一项国家科技进步二等奖与维也纳科学技术大学颁发的 von Prechtl奖章；在国际会议上做邀请报告18项，申请/授权专利14项，培养研究生120余名。(11/04/08)
    973
  26. 由中国数学学会计算机数学专业委员会主办、中国石油大学（华东）信息与控制工程学院与中国科学院数学机械化重点实验室承办的“第二届全国计算机数学学术会议(CM 2008)”，在山东省青岛市中国石油大学（华东）隆重召开。 会议总结。(11/04/08)
  27. 在10月7日举行的“973”计划10周年纪念大会上，数学机械化重点实验室主持、多所大学与研究所承担的国家基础研究发展计划（973）项目“数学机械化与自动推理平台”，被科技部授予“973计划优秀团队”称号。本项目在数学机械化理论与算法、图像压缩、并联机构与数控机床、自动推理平台开发、曲面造型等多个方向取得突破性进展。(10/08/08)
  28. 实验室李邦河院士、李子明研究员获得研究院第二届优秀教师奖。实验室研究生沈跃峰获得研究院第六届院长奖学金特等奖，李家获得第六届院长奖学金优秀奖。(09/20/08)
  29. 中国科学院研究生院评出2007-2008学年三好学生。实验室李家被评为三好学生标兵。吴晓莉, 李斌, 张艳硕, 付国锋, 郭峰, 沈跃峰被评为三好学生。(09/12/08)
  30. 第一届全国计算机数学学术会议专辑由 “系统科学与数学”杂志出版。专辑收录了在本次会议所作的部分报告与若干特约的综述论文。 前沿，目录。(09/02/08)
  31. 实验室高小山研究员经投票当选为“符号和代数计算国际会议”(ISSAC) 指导委员会主席，任期一年。ISSAC 是符号和代数领域最具权威的国际会议，已经有33年历史。ISSAC 指导委员会由六名委员组成，其职责是负责 ISSAC 的学术与组织管理。 (08/07/08)
  32. 2008年7月30日，由中科院沈阳计算技术研究所、数学与系统科学研究院、计算技术研究所、沈阳自动化研究所和电工研究所共同发起的中国科学院数控技术创新联盟在沈阳成立。创新联盟旨在发挥中国科学院数控技术的综合优势，通过技术的原始创新和集成创新，开发具有自主指示产权的高档数控系统。(07/31/08)
  33. 第二届全国计算机数学学术会议(CM 2008)将于2008年10月24－28日在山东青岛市召开。 (7/17/08)
  34. 为推动我院的密码学研究，同时为有志于从事密码学研究的研究生与青年科研人员提供一个学习相关基础知识和前沿结果的机会，“密码学及相关学科暑期班”于6月16日－21日在我院成功召开。来自全国二十余所高校及研究机构的研究生与80位青年教师参加了暑期班。在暑期班上堵丁柱教授（美国）、颜松远教授（英国）、丁津泰教授（美国）分别讲授了计算复杂性、计算数论和多变元密码学。此次暑期班由中国科学院数学机械化重点实验室、中国科学院数学与系统科学研究院信息安全研究中心、中国数学学会计算机数学专业委员会联合承办，得到了中国科学院数学与系统科学研究院复杂系统国际研究团队的支持。 (06/27/08)
  35. 中国科学院重要方向项目《基于数学机械化方法的高档数控系统》于2008年5月24日至25日在数学与系统科学研究院举行第二次现场交流会。共有19名项目承担人员参加了会议。会议通过九场学术报告和认真讨论，对本项目承担的任务形成了比较完整的方案，为下一步实施编程提供了基础，并决定首先针对两种典型的数控机床实施所提方案，尽快在工程化应用方面取得进展。 (05/29/08)
  36. 实验室将于2008年6月16日－21日组织密码学及相关学科暑期班。 详细 (05/05/08)
  37. 第二届中法代数系统求解及应用研讨会（France/China Workshop on Solvers for Algebraic Systems and Applications）于2008年4月26-28日举行。本次会议主要议题为代数系统的求解和应用。讨论符号方法、数值方法以及混合算法求解多项式系统的实根、复根和流形解。探讨在密码、机器人等领域的应用。会议由数学机械化重点实验室主办，法国巴黎六大、法国国家计算机与控制研究所（INRIA）、北京航天航空大学、北京大学协办。会议还邀请了加拿大西安大略大学教授 Stephen Watt，美国北卡州立大学教授 Hoon Hong 和法国 INRIA 主任研究员 Frabrice Rouillier 做邀请报告。中法国际合作项目 Chinese-Salsa 的成员就进一步合作研究和学生培养等进行了广泛的探讨和交流。(04/28/08)
  38. 实验室2008年海外访问教授计划已经开始启动。（04/23/08）
  39. 实验室2008年开放课题基金申请已经开始。（04/23/08）
  40. 实验室闫振亚副研究员由于在微分方程机械化算法与可积系统等方面的研究工作获得2008年度中国科学院卢嘉锡青年人才奖。(04/16/08)
  41. 本实验室与中科院软件所计算机科学国家重点实验室于4月10日联合举办“布尔代数求解”研讨会。实验室学术委员会主任万哲先院士参加了会议。贾祥雪、高小山、黄震宇分别就SAT问题主流研究、布尔方程求解的特征列方法及其在密码分析中的应用、求解布尔方程的Groebner方法与XL方法做了报告。共有30余位科研人员与研究生参加了本次学术活动。(04/11/08)
  42. 即将于奥地利举行的第33届国际符号和代数计算会议(ACM ISSAC'08)上，本实验室共有3篇论文都被接受。ISSAC是符号和代数计算方面最权威的国际会议。三篇被接受论文是：
    1) Hongbo Li, Lei Huang, Complex Brackets, Balanced Complex Differences, and Applications in Symbolic Geometric Computing;
    2) Erich Kaltofen, Bin Li, Zhengfeng Yang and Lihong Zhi, Exact Certification of Global Optimality of Approximate Factorizations via Rationalizing Sums-of-Squares with Floating Point Scalars;
    3) Xiaoli Wu and Lihong Zhi, Computing the Multiplicity Structure from Geometric Involutive Form.（03/28/08）
  43. 中国科学院重要方向性项目《基于数学机械化方法的高档数控系统研制》第一次现场交流会于2008年3月6日至7日在沈阳计算所举行。参加会议的包括实验室的高小山、李洪波、王定康、袁春明等五人和沈阳计算所的林浒、于东、杨东升、刘峰等十几名科研人员。会议通过现场调研与对支持空间刀补的5轴联动数学方法、运动控制插补的数学机械化算法进行研讨，进一步明确与细化了项目实施方案，为项目的顺利执行打下了基础。(03/10/08)
  44. 新春佳节即将到来之际，中共中央总书记、国家主席、中央军委主席胡锦涛于2008年1月19日上午分别来到钱学森、吴文俊家中，亲切看望为我国科技事业作出杰出贡献的两位著名科学家，代表党中央向他们表示衷心的祝福。 详细 (01/19/08)
    hujintao
  45. 第8届亚洲计算机数学会议(ASCM 2007)于2007年12月15-17日在新加坡举行。本次会议由新加坡国立大学主办，中科院系统科学研究所协办。D.Kapur担任程序委员会主席。会议收到来自20个国家的65篇投稿。经过程序委员会审查，接受论文23篇，短文13篇。G. Gonthier、R. Farouki、王小云做了大会邀请报告。亚洲计算机数学会议由数学机械化中心与日本符号与代数协会于1995年创立，已经成为国际计算机数学的重要论坛。(12/20/07)
  46. 国家重点基础研究发展规划(973)项目“数学机械化方法及其在信息技术中的应用”2007年学术交流与汇报会于2007年11月11－13日在南昌大学召开。 详细 (11/21/07)
  47. 2007年11月12—13日，第一届全国计算机数学学术会议在南昌大学（前湖校区）国际学术交流中心隆重举行。本次大会由中国数学学会计算机数学专业委员会主办，由中国科学院数学机械化重点实验室与南昌大学承办。这次大会是中国数学学会计算机数学专业委员会被批准成立以来组织的第一次全国性学术活动。 详细 (11/21/07)
  48. 吴文俊院士在“思源纵横” 作精彩讲座 详细 (11/05/07)
  49. 实验室博士生王灯山获得2007年度中科院“宝洁优秀博士生”奖。 (10/22/07)
  50. 第一届全国计算机数学学术会议(CM 2007)将于2007年11月12－15日在江西南昌市与井冈山市召开。 (10/17/07)
  51. 实验室研究生周凯、冷福生获得2007年度院长奖学金特等奖，王灯山获院长奖学金优秀奖。万哲先、李邦河院士获研究院优秀教师奖。 (09/12/07)
  52. 实验室王灯山获2007年度中国科学院研究生院澳大利亚 BHP Billiton 奖学金，其指导李洪波相应获得导师科研奖。 BHP Billiton 奖学金由中国科学院研究生院与澳大利亚 BHP Billiton 公司联合奖学金评审委员会审核、评议，2007年科学院共有25位在学研究生获得这一奖励。 (09/06/07)
  53. 为庆祝万哲先院士80华诞，清华大学数学科学系和中国科学院系统科学研究所于2007年8月18-20日在京联合主办了代数及相关领域国际会议。8月19日举行了庆祝万哲先院士80华诞的晚宴。 详细 (08/21/07)
  54. 实验室李子明研究员、支丽红副研究员被聘为符号计算权威杂志“Journal of Symbolic Computation”编委。 (07/10/07)
  55. 在加拿大举行的第32届国际符号和代数计算会议(ISSAC'07)上，实验室李洪波研究员的论文 “A Recipe for Symbolic Geometric Computing: Long Geometric Product, BREEFS and Clifford Factorization”获得本年度唯一的“ISSAC杰出论文奖”。 “ISSAC杰出论文奖”由“计算机科学协会(ACM)”符号与代数计算专业委员会颁发， 选自当年度在ISSAC上报告的论文。 ISSAC是符号和代数计算方面最权威的国际会议。这是数学机械化重点实验室成员第二次获得 这一奖项。
    据介绍，李洪波研究员的论文为欧氏几何符号计算的简化提供了巨大的改进，以前数十万项 都难以完成的计算，现在只要一两项就能完成。该工作的基础是共形几何代数和零括号代数， 而它们都是由李洪波研究员等建立的。国际同行认为，该项工作是符号机器证明领域的一个 突破，其意义超出该领域本身。(07/07/07)
  56. 实验室学术报告：
    The F5 algorithm and applications in Cryptology
    Jean-Charles Faugere, SALSA Research Team (LIP6 and INRIA Rocquencourt) (CNRS), INRIA, University Paris 6
    Time: Jun 28, 2007, 10:00am, Room: 712 (06/26/07)
  57. 实验室学术报告：
    Differential Equations for Algebraic Functions
    Frederic Chyzak, INRIA Rocquencourt, France
    Time: Jun 27, 2007, 10:30am, Room: 712 (06/19/07)
  58. 6月5日下午，吴文俊院士应邀参加中国科技大学50周年校庆第二次新闻发布会，并在该校学术报告厅作了名为《中国传统数学的实质》专业报告。 详细 (06/06/07)
  59. 实验室学术报告：
    Public Goods, Reciprocity and Enforcement
    Karl Sigmund , 维也纳大学教授
    Time: Jun 6, 2007, 9:00am, Room: 712 (06/01/07)
  60. 实验室学术报告：
    Scalable Data Mining: System and Algorithms
    Ruoming Jin, Kent State University, USA
    Time: Jun 4, 2007, 4:00pm, Room: 309 (06/01/07)
  61. 实验室学术报告：
    Features and Advantages of WME: a Web-based Mathematics Education System
    Paul S. Wang, Kent State University, USA
    Time: Jun 4, 2007, 3:00pm, Room: 309 (06/01/07)
  62. 实验室学术报告：
    Integrable peaked soliton equations
    Zhijun Qiao, University of Texas-Pan American
    Time: Jun 1, 2007, 10:00am, Room: 712 (06/01/07)
  63. 实验室学术报告：
    Solving Toeplitz- and Vandermonde-like linear systems with large displacement rank
    Eric Schost, The University of Western Ontario
    Time: May 28, 2007, 10:00am, Room: 712 (05/25/07)
  64. 实验室学术报告：
    An overview of some complexity aspects for computations with triangular sets
    Prof. Eacuteric Schost, Computer Science Department, University of Western Ontario
    Time: May 25, 2007, 1:30pm, Room: 中关村教学楼N406 (05/24/07)
  65. 实验室学术报告：
    Algebraic Splines for Molecular Modeling
    Chandrajit Bajaj, University of Texas at Austin
    Time: May 24, 2007, 3pm, Room: 703 (05/18/07)
  66. 实验室研究生王灯山、王怀富、张艳硕、袁春明被评选为2006-2007年三好学生，张志芳被评为优秀毕业生。 (05/15/07)
  67. 实验室学术报告：
    Comprehensive Triangular Decomposition
    Prof. Marc Moreno Maza, The University of Western Ontario.
    Time: May 17, 2007, 3PM. Room 712

    Component-level Parallelization of Triangular Decompositions
    Prof. Marc Moreno Maza , The University of Western Ontario.
    Time: May 21, 2007, 3PM, Room 712 (05/15/07)
  68. 实验室研究生张志芳获得由瑞士科技部设立的应用数学欧拉奖，并得到瑞士政府资助参加将于2007年7月在瑞士举行的第六届国际工业与应用数学大会。 (04/25/07)
  69. 即将于加拿大举行的第32届国际符号和代数计算会议(ACM ISSAC'07)上，本实验室成员所投的2篇论文都被接受。ISSAC是符号和代数计算方面最权威的国际会议。二篇被接受论文是：
    J.S. Cheng, X.S. Gao, and C.K. Yap, Complete Numerical Isolation of Real Zeros in General Triangular Systems.
    H. Li, A Recipe for Symbolic Geometric Computing: Long Geometric Product, BREEFS and Clifford Factorization. （04/10/07）
  70. 实验室2007年开放课题基金申请已经开始，详情请见申请指南。 （04/05/07）
  71. 中国科学院数学机械化重点实验室第一届学术委员会第四次会议于2007年3月24日召开。 详细 （03/26/07）
  72. 第2届中美符号计算联合研讨会于2007年3月5日至3月9日在浙江大学举行。该研讨会得到中美双方的自然基金委员会、中科院数学与系统科学院、系统科学研究所等单位的资助。主办单位是中科院数学机械化重点实验室、北京航空航天大学理学院、浙江大学数学系和美国北卡罗莱纳州立大学数学系。共有39人参加会议，其中美方11人。 研讨会包括4个短课程（short courses），15个学术报告(research presentations) 和小组讨论(group discussions)。中美双方的学者和研究生在几何约束求解、多项式因式分解、混合计算和微分差分方程求解等方面进行了学术交流和探讨，为进一步的合作打下了坚实的基础。会议宣传画和会议日程 （03/26/07）
  73. 2月8日，科技部李学勇副部长与国家奖励办负责人看望了吴文俊院士。李学勇副部长向吴文俊致以新春问候，并询问了他的生活和研究工作情况。李学勇副部长还与吴文俊就我们国家的基础研究等问题进行了愉快的交谈。李学勇副部长对吴文俊院士获得“劭逸夫数学科学奖”表示祝贺。吴文俊院士表示，数学机械化研究长期得到科技部的支持，有一个稳定的环境，才得以有今天的成果与研究队伍。吴文俊院士还表示，希望数学机械化方法可以得到应用，为国家的发展做出贡献。(02/09/07)
  74. 新年刚过，全国人大常委会副委员长、中国科学院院长路甬祥在相关人员的陪同下，来到吴文俊院士家里，与吴院士就数学与现实生活的结合、鼓励青年科学家开拓新的方向、互联网在中国的应用进展与科学需求等问题，进行了深切的交谈。（01/29/07）
  75. 实验室支丽红副研究员因在符号数值混合计算方面的工作获得2006年度“关肇直青年研究奖”。支丽红与合作者将结构矩阵方法引入到混合计算，提出了GCD、因式分解这些基本运算的快速混合计算方法以及近似超定多项式方程组求解方法。（01/25/07）


More: 2006 2005 2004

______________________________________________________

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


Site Design: Digital Data Workshop Design 2003