Key Laboratory of Mathematics Mechanization (KLMM) English Version

 

  1. 2010年12月2日,国务院国务委员刘延东、中国科学院院长路甬祥等领导参加中国科学院国家数学与交叉研究中心成立仪式。 期间到数学机械化重点实验室考察工作,听取了数学机械化研究的最新进展,特别是近期在数控系统方面的工作。 (新闻链接)。(12/03/2010)


  2. 第三届全国计算机数学学术会议在上海华东师范大学举行。来自全国41个单位的150多名教师、研究生参加了本次学术会议。 南开大学陈永川、清华大学Jean-Pierre Jouannaud和贾仲孝、中国科学技术大学陈发在会议上做了邀请报告, 58名研究人 员在本次会议的分组会议上做了学术报告。 本次学术会议由中国数学学会计算机数学专业委员会主办,华东师范大学高可 信计算上海市重点实验室和中国科学院数学机械化重点实验室承办。详情请见会议纪要。(10/30/2010)
    liyuanshi

  3. 第四届微分代数以及相关领域国际研讨会于2010年10月27日至10月30日在中科院数学与系统科学研究院举行。会议主题包括微分差分方程、微分代数群、微分代数以及模式理论、微分差分维数理论、微分差分Galois理论、微分不变量、D模以及Riemann-Hilbert对应、积分-微分算子以及微分Rota-Baxter算子、计算以及应用微分差分代数等。本次会议与会人员约70人,其中有来自美国、英国、德国、奥地利、西班牙、俄罗斯、阿根廷等国外与会人员约30人;研究生约20人。会议共计10个50分钟报告、16个25分钟报告以及12个Poster。本次会议的目的是促进国内外微分代数领域研究人员的交流与合作并扩大青年科研人员的视野。 liyuanshi

  4. 实验室成员李邦河院士荣获2010年度“何梁何利基金科学与技术奖”。10月20日下午,何梁何利基金2010年度颁奖大会在北京钓鱼台国宾馆隆重举行。中共中央政治局委员、国务委员刘延东,全国人大常委会副委员长、中科院院长路甬祥,全国政协副主席、科技部部长万钢,全国政协副主席何厚铧等出席颁奖大会。 liyuanshi (2010/10/23)
  5. 研究院将成立“国家数学与交叉科学中心”,致力于推动数学与交叉学科的研究发展,现面向海内外公开招聘具有数学与相关领域交叉研究背景的青年科研人才,如数学物理,数字化设计制造或数控系统等。详情请见 http://talent.sciencenet.cn/info.aspx?id=10217。(2010/09/13)
  6. 实验室研究生赵尚威、郭峰获2010年度中国科学院数学院院长奖学金优秀奖。 赵尚威获2010年度中国科学院博时奖学金优秀奖。(2010/09/12)
  7. 8月7日上午,中共中央政治局常委、国务院总理温家宝登门看望了吴文俊先生,向他献上寓意吉祥和祝福的鲜花,致以深情的问候和良好的祝愿。 温家宝总理多次强调,要尊重知识,尊重人才,要和科学家交朋友。每年登门看望德高望重、贡献卓越的老一代科学家,已经成为他就任总理以来的惯例。温总理还看望了 何泽慧、朱光亚、王大珩先生等。 caojianlin (2010/08/08)
  8. 中科院数学机械化重点实验室是我国计算机数学的重要基地, 有雄厚的师资队伍,良好的科研环境和充足的科研基金。目前, 本实验室已启动2012年免试硕士研究生的推荐工作。欢迎2012年 暑期毕业的,有外推保研资格的大学生报名。 联系人:李子明 (zmli@mmrc.iss.ac.cn) (2010/08/08)
  9. 第四届有限域及其应用国际研讨会于2010年5月28日-30日在北京大学举行。会议主题是有限域理论以及有限域在组合学、通讯理论、 密码学、编码理论、组合设计等方面的应用。研讨会的目的是使有限域方面的学者交流他们的最新研究成果。本次研讨会的参与者为70人左右。一些著名的学者与会,其中包括丁存生(香港科技大学),周文贤(台湾中央研究院数学所),王强(加拿大Carleton University),候向东(美国University of South Florida),黄铭德(美国University of South California),向青(美国University of Delaware),邢朝平(新加坡南洋理工大学),张耀祖(台湾义守大学),Shuhong Gao(美国Clemson University),颜松远(英国University of Bedfordshire)以及国内学者万哲先,冯克勤,冯荣权,韩文报,戚文峰,洪绍方,曹永林,麻常利,符方伟等。有限域及其应用会议由万哲先院士发起,每两年举办一次,已经成为有限域方面有影响的系列学术会议。(2010/5/30)
  10. “数学与先进制造交叉应用研究研讨会” 暨国家数学科学交叉应用中心制造材料部咨询会于2010年5月21日召开. 详细内容请见 制造会议简报.(2010/05/24)
  11. 2010年5月4日下午,中国科学技术部在北京举行小行星命名仪式。中国科学院国家天文台施密特CCD小行星项目组发现并获得国际永久编号的4颗小行星,经国际天文学联合会小天体命名委员会批准,以中国的4位科学家命名,以表彰他们做出的突出贡献。其中国际永久编号第7683号小行星永久命名为“吴文俊星”, 同时获此殊荣还有高性能计算机专家金怡濂院士、航天专家王永志院士和气象学家叶笃正院士。下图为科技部万钢部长为吴文俊院士颁发证书。(2010/05/04). caojianlin
  12. 由中国数学学会计算机数学专业委员会主办、中国科学院数学机械化重点实验室与华东师范大学承办的第三届全国计算机数学学术会议(CM 2010) 将于2010年10月19-22日在上海华东师范大学召开.会议网址: http://www.mmrc.iss.ac.cn/cscm2010 (2010/5)
  13. 2010年度数学机械化重点实验室开放课题基金开始受理申请 (04/14/10)
  14. 即将于Munich, Germany 召开的第35届国际符号和代数计算会议(ACM ISSAC'10)上,本实验室有5篇论文被接受。ISSAC是符号和代数计算方面最权威的国际会议。5篇被接受论文是
    1) Alin Bostan, Shaoshi Chen, Frederic Chyzak and Ziming Li. Complexity of the Creative Telescoping for Bivariate Rational Functions.
    2) Deepak Kapur, Yao Sun and Dingkang Wang. A New Algorithm for Computing Comprehensive Groebner Systems.
    3) Feng Guo, Mohab Safey EI Din and Lihong Zhi. Global Optimization of Polynomials Using Generalized Critical Values and Sums of Squares.
    4) Zijia Li, Zhengfeng Yang and Lihong Zhi. Blind Image Deconvolution via Fast Algorithm for Computing Approximate Greatest Common Divisor of Polynomials.
    5) Sharon Hutton, Erich Kaltofen and Lihong Zhi. Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg’s method.
  15. 由中国科学院数学机械化重点实验室主办的“第四届微分代数以及相关课题国际研讨会”将于2010年10月27日到30日在北京举行;会议的网址: http://mmrc.iss.ac.cn/~dart4 。(2010/3/5)
  16. 2010年2月11日,我院院长郭雷院士、王跃飞书记在系统所高小山所长陪同下带着院领导班子的关心和全院职工的祝福,专程到吴文俊院士家中看望。(2010/2/11)


    caojianlin


______________________________________________________

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


Site Design ? Digital Data Workshop Design 2003