中国科学院数学机械化重点实验室新主页


    1. 新的SIAM期刊 SIAM Journal on Applied Algebra and Geometry 将于2016年春季首次发行。 期刊主编是加州大学伯克利分校的 Bernd Sturmfels教授。 数学机械化中心的支丽红研究员将担任期刊的编委。

    2. 第五届国际符号和数值计算会议于7月28-31在中国上海召开。本次会议有65人左右,其中外宾20人左右,内宾45人左右,代表来自美国、法国、英国、德国,日本,新加坡等国家和地区,有国内多位院士和杰出青年基金获得者参加。详情请见会议纪要。(08/01/2014)
    3. 2014年7月在日本神户召开的第39届国际符号和代数计算会议(ACM ISSAC 2014)上,支丽红研究员应邀做tuorial.
      题目为:Symbolic-numeric algorithms for computing validated results (http://www.issac-conference.org/2014/tutorials.html).
      陈绍示、黄辉、李子明获ISSAC 2014杰出Poster奖。该Poster 的题目是: Improved Abramov-Petkovsek's Reduction and Creative Telescoping for Hypergeometric Terms (http://www.issac-conference.org/2014/awards.html).(07/28/2014)
    4. 中国科学院数学与系统科学研究院2013-2014学年优秀学生评选工作于近日结束,本实验室学生郭建新荣获优秀毕业生称号,刘越、张凡、赵明勇、温子超、吕昌、王安宇、李应弘、王础荣获三好学生称号。(05/04/2014)
    5. 即将于日本神户(Kobe, Japan) 召开的第39届国际符号和代数计算会议(ACM ISSAC'14)上,本实验室有3篇论文被接受。ISSAC是符号和代数计算方面最权威的国际会议。3篇被接受论文是
      1) Hongbo Li, Changpeng Shao, Lei Huang and Yue Liu. Reduction among Bracket Polynomials.
      2) Shaoshi Chen, Ruyong Feng, Ziming Li and Michael F. Singer. Parallel Telescoping and Parameterized Picard--Vessiot Theory.
      3) Shaoshi Chen, Manuel Kauers and Christoph Koutschan. A Generalized Apagodu-Zeilberger Algorithm.
      (04/01/2014)
    6. 中国科学院数学机械化重点实验室第三届学术委员会第五次会议于2014年1月24日在中科院数学与系统科学研究院召开,万哲先院士、陆汝钤院士、李邦河院士、林惠民院士等10多位实验室学术委员会成员参加了会议。中科院前沿科学与教育局黄敏副局长、中科院前沿科学与教育局实验室处薛艳杰副处长、中科院基础局数学物理处王永祥处长、国家自然科学基金委数理学部雷天刚处长应邀参加了会议。此次会议由实验室学术委员会主任李邦河院士主持。详情请见会议纪要。(01/25/2014)
    7. 973项目“数学机械化方法及其在数字化设计制造中的应用”召开学术交流与汇报会 详情请见会议纪要。(10/28/2013)

    8. 第三届吴文俊人工智能科学技术奖揭晓。 (11/01/2013)
    9. 国家数学与交叉科学中心交叉学术论坛暨2013年计算机辅助制造、工程与数控中的数学与算法国际会议(MAMENC2013)于2013年10月24-25日在中国科学院数学与系统科学研究院召开。会议邀请了土耳其、法国、意大利、加拿大等国家的大学与科研单位,以及国内的华中科技大学、中国科学院沈阳计算技术研究所、中国科学院沈阳自动化研究所、浙江大学、中国科学院大学、北京航空航天大学、南京航空航天大学等单位的60余位老师和研究生参加。 详情请见会议纪要。(10/28/2013)

    10. 第五届全国计算机数学学术会议(CM2013)于8月18日至21日在吉林长春名人酒店召开,来自国内科研院所、大专院校的专家学者及在校学生近130人参加了会议。 详情请见会议纪要。(08/25/2013)

    11. 数学机械化重点实验室退休研究员石赫同志因病医治无效于2013年8月15日下午5点逝世。(讣告)(08/16/2013)
    12. 国家自然科学基金委杨卫主任看望吴文俊院士。 详情请见杨卫主任看望吴文俊院士。(07/19/2013)

    13. 数学机械化重点实验室博士生郭庆东获2013年度国际符号和代数计算会议(ISSAC)最佳学生论文奖。ISSAC是符号和代数计算方面最权威的国际会议。 文章给出了线性矩阵不等式定义的凸集上有理点的存在性判定和计算,论文题目:Computing rational solutions of linear matrix inequalities. (with Mohab Safey El Din, Lihong Zhi)。(07/02/2013)

    14. 2013年可信计算研讨会于4月19日-20日在北京西郊宾馆举办。 详情请见会议纪要。(04/22/2013)
    15. 中国科学院数学机械化重点实验室第三届学术委员会第四次会议于2013年3月22日在中科院数学与系统科学研究院召开,万哲先院士、陆汝钤院士、李邦河院士、张景中院士、林惠民院士等10多位实验室学术委员会成员参加了会议。中科院基础局数学物理处王永祥处长应邀参加了会议。此次会议由实验室学术委员会主任李邦河院士主持。详情请见会议纪要。(03/25/2013)
    16. 即将于美国波士顿(Boston, USA) 召开的第38届国际符号和代数计算会议(ACM ISSAC'13)上,本实验室有4篇论文被接受。ISSAC是符号和代数计算方面最权威的国际会议。4篇被接受论文是
      1) Qingdong Guo, Mohab Safey El Din, Lihong Zhi. Computing rational solutions of linear matrix inequalities.
      2) Zhengfeng Yang, Lihong Zhi, Yijun Zhu. Verified Error Bounds for Real Solutions of Positive-dimensional Polynomial Systems.
      3) Wei Li, Chun-Ming Yuan and Xiao-Shan Gao. Sparse Difference Resultant.
      4) Alin Bostan, Shaoshi Chen, Frederic Chyzak, Ziming Li, Guoce Xin. Hermite Reduction and Creative Telescoping for Hyperexponential Functions.
      (03/23/2013)
    17. 春节前夕,全国政协副主席、科技部部长万钢亲切看望了国家最高科学技术奖获奖者吴文俊院士。 (2/18/2013)
    18. 实验室成员闫振亚的研究工作“复杂畸形波和物质波的构造与调控研究”荣获中国科学院数学与系统科学研究院2012年度突出科研成果。闫振亚研究员首次提出“rognon”(畸形子)的概念, 提出了变系数非线性Schrodinger 方程的 非自治畸形波解和弹性相互作用的畸形子, 提出了Bose-Einstein 凝聚态中时空调制的高维Gross-Pitaevskii 模型的畸形波解和弹性作用。特别地,提出了金融市场中非线性适应物理模型的解析金融畸形波解,还将该结果推广到耦合的非线性金融模型中,并且研究了金融畸形波的传播规律。另外研究了二维空间调控GP / NLS 方程的Dirichlet 问题以及Bose-Einstein 凝聚态中原子输运过程中的物质波的传播进程。研究成果得到了诸多国际著名期刊的专题报道和知名专家的高度评价,如美国MIT 百年期刊《技术评论》(Technology Review)、美国百年期刊《大众科学》(Popular Science)、美国科技媒体《VerticalNews》、国际权威综述期刊《Rev. Mod. Phys.》、《Phys. Rev. Lett.》、P. K. Shukla(美国物理学会Fellow, 英国物理学会Fellow, 爱丁堡皇家学会Fellow) 、J. M. Dudley(法国大学科学院(IUF)院士、美国光学学会Fellow)、L. Torner (美国光学学会Fellow)、N. Akhmediev(美国光学学会Fellow)、S. Wabnitz (美国光学学会Fellow)。 (01/30/2013)
    19. 2013年1月16日, 中国科学院院长白春礼一行看望我院资深院士吴文俊先生,向吴先生致以新春的问候并亲切询问了他的身体和工作情况,对他为我国数学界做出的卓越贡献表示由衷敬意。94岁高龄的吴先生精神依然矍铄,话语间充满爽朗的笑声。吴先生对领导的关心表示感谢。数学院的执行院长王跃飞, 副院长高小山也一同看望。 (01/17/2013)

    20. 数学机械化实验室2012年年终总结会议于2012年12月18日-19日在温都水城召开。 详情请见会议纪要。(12/20/2012)
    21. 实验室成员刘卓军的研究工作“消费品质量安全影响因子研究及标准研制”荣获国家质量监督检验检疫总局颁发的科技兴检奖一等奖。(11/29/2012)
    22. 第十届亚洲计算机数学会议( The Tenth Asian Symposium on Computer Mathematics)于2012年10月26-28日在中国科学院数学与系统科学研究院召开。参加会议的外宾分别来自会议来自美国、加拿大、奥地利、日本、法国、瑞士,比利时等.国内的来宾分别来自北京大学、南开大学、华东师范大学、吉林大学、大连理工大学、北京航空航天大学、北京科技大学、黑龙江大学、深圳大学和中科院等.共有90余人参加了会议,其中研究生30多人. 详情请见会议纪要。(10/30/2012)
    23. 2012年计算机辅助制造、工程与数控中的数学与算法国际会议于2012年10月25-26日在中国科学院数学与系统科学研究院召开。会议邀请了美国、英国、意大利、法国、比利时、以色列等国家的大学与科研单位的,以及国内的中国科学院沈阳计算技术研究所、中国科学院沈阳自动化研究所、华中科技大学、大连理工大学、西北工业大学、清华大学等单位的50余位老师和研究生参加。 详情请见会议纪要。(10/28/2012)

    24. 第十届亚洲计算机数学会议(ASCM 2012)将于2012年10月26-28在北京中科院数学院举办。欢迎注册参加。(08/16/2012)
    25. 973项目“数学机械化方法及其在数字化设计制造中的应用”项目中期总结与学术交流会于8月13日至14日在中科院数学与系统科学研究院召开。详情请见会议纪要。(08/15/2012)

    26. 实验室2012年开放课题基金申请已经开始。(07/10/12)
    27. 第五届有限域及其应用国际研讨会(简称FFA2012)于6月28日至30日在中国科学院数学与系统科学研究院召开。来自美国、加拿大、新加坡以及台湾义守大学、香港科技大学、北京大学、中科院数学与系统科学研究院、中科院信息工程研究所等国内外60余所高校和科研单位的100余位专家及研究生参加了会议。 详情请见会议纪要

    28. 实验室成员闫振亚的研究工作“构造性理论与算法及其在复杂非线性系统中的应用”荣获2011年北京市科学技术奖二等奖。(05/20/2012)
    29. 首届吴文俊人工智能科学技术奖揭晓
    30. 中国科学院数学机械化重点实验室第三届学术委员会第二次会议于2012年3月20日在中科院数学与系统科学研究院召开,万哲先院士、陆汝钤院士、李邦河院士、林惠民院士等10多位实验室学术委员会成员参加了会议。中科院基础局数学物理处王永祥处长、国家自然科学基金委数理学部雷天刚处长应邀参加了会议。此次会议由实验室学术委员会主任李邦河院士主持。详情请见会议纪要
    31. 即将于法国Grenoble召开的第37届国际符号和代数计算会议(ACM ISSAC'12)上,本实验室有4篇论文被接收。ISSAC是符号和代数计算方面最权威的国际会议。4篇被接收论文是:
      1) Alin Bostan, Frederic Chyzak, Ziming Li, Bruno Salvy: Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators.
      2) Xiaodong Ma, Yao Sun, Dingkang Wang and Yang Zhang: A Signature-Based Algorithm for Computing Groebner Bases in Solvable Polynomial Algebras.
      3) Feng Guo, Erich Kaltofen and Lihong Zhi: Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials and Functions.
      4) Yue Ma and Lihong Zhi: Computing Real Solutions of Polynomial Systems via Low-Rank Moment Matrix Completion.
    32. 973项目“数学机械化方法及其在数字化设计制造中的应用”2011年度总结与第四届计算机数学(CM2011)学术交流会于11月26日至28日在广州大学召开。详情请见会议纪要

    33. 由国家数学与交叉科学研究中心先进制造交叉研究部主办的计算机辅助制造工程和数控中的数学与算法国际会议于10月24日-26日在数学院召开。来自美国、意大利、韩国以及清华大学、华中科技大学、中国科技大学、北京航空航天大学、中科院数学院等国内各高校和研究单位的80余位专家及研究生参加会议。详情请见会议纪要

    34. 由中科院数学院信息安全中心主办的信息安全与密码学术研讨会于2011年10月13日至15日在杭州顺利召开,来自中科院数学院,中科院软件所,中科院研究生院,北京大学,北京航空航天大学,复旦大学,上海大学,广州大学,山西大学等单位的专家学者和研究生共四十多人参加了会议。详情请见会议纪要

    35. 人民日报、光明日报、科技日报以及新华社等多家报纸报道吴文俊院士。详见:光明日报:吴文俊:数学是他的最爱; 人民日报:吴文俊:好奇心驱动数学人生; 科技日报:吴文俊:“作别”数学的数学家; 新华社:走近院士吴文俊:数学是笨人学的.(2011/8/20)

    36. 由中国科学院数学与系统科学研究院主办,法国巴黎六大、广西民族大学协办的“可信计算国际会议”(International Workshop on Certified and Reliable Computation)于2011年7月17-20日在广西南宁召开。来自美国、法国、英国、加拿大、比利时、中国香港和内地近60名专家学者和研究生参加了此次会议。本次会议围绕就如何为科学工程计算和信息技术领域出现的实际问题提供可靠的或可验证的计算解决方案,会议报告了基于符号计算、数值计算、符号和数值混合计算的可信算法在机器人、生物、信号处理、密码学等领域中的最新进展。大会共邀请9位国际知名学者作邀请报告,23人作会议报告。会议的召开为更好地发挥我国在符号和数值计算已有的优势,继续研究快速、稳定、误差可控的算法,以及我国可信计算软件的开发和研制提供更有效的数学方法。本次会议的圆满召开,得到中国科学院数学与系统科学研究院,科技部973项目,国家基金委中法合作项目,中法计算科学、自动化和应用数学联合实验室,广西民族大学,数学机械化重点实验室的大力支持。

    37. 计算机辅助设计、制造与数控数学理论与算法国际研讨会(MAMENC 2011)将于2011年10月24-26在北京中科院数学院举办. 欢迎投稿。(2011/07/28)

    38. 第四届全国计算机数学学术会议将于2011年11月25-28日在广州大学举行。(2011/07/22)

    39. 在美国San Jose举行的第36届国际符号与代数计算年会(ISSAC 2011)上, 实验室成员李伟、高小山和袁春明的文章Sparse Differential Resultant 荣获国际计算机协会(ACM)符号与代数计算专业委员会(SIGSAM)颁发的唯一 杰出论文奖。详细内容(2011/06/10)

    40. 在美国San Jose举行的第36届国际符号与代数计算年会(ISSAC 2011)上, 实验室成员支丽红经投票当选ISSAC指导委员会委员。 ISSAC指导委员会是ISSAC系列会议的指导组织,由六人组成。(2011/06/10)

    41. 实验室研究生李伟、马玥分别获得获2010年度中国科学院博时奖学金优秀奖。(2011/05/18)

    42. 国家重点基础研究发展规划项目——“数学机械化方法及其在数字化设计制造中的应用”项目启动与学术交流会于2011年3月17日—18日在京召开。详细内容请见 简讯.(2011/03/21)
    43. 实验室高小山研究员被国家科技部授予“十一五”国家科技计划执行突出贡献奖。 他负责的973项目“数学机械化及其在信息技术中的应用”在数学机械化方法及其在 信息安全理论、生物特征识别、几何建模、并联数控机床领域的应用取得重要成果。(2011/03/01)
    44. 实验室成员支丽红研究员的工作“基于结构矩阵的符号数值混合计算研究”荣获中科院数学院突出科研成果奖。(2011/1/29)

    45. 即将于美国圣荷西(硅谷, San Jose, USA) 召开的第36届国际符号和代数计算会议(ACM ISSAC'11)上,本实验室有7篇论文被接受。ISSAC是符号和代数计算方面最权威的国际会议。7篇被接受论文是
      1) Hongbo Li, Ruiyong Sun, Shoubin Yao and Ge Li. Approximate Rational Solutions for Rational ODEs Defined on Discrete Differentiable Curves.
      2) Wei Li, Xiao-Shan Gao and Chun-Ming Yuan. Sparse Differential Resultant.
      3) Shaoshi Chen, Ruyong Feng, Guofeng Fu and Ziming Li. On the Structure of Compatible Rational Functions.
      4) Leilei Guo and Feng Liu. An Algorithm for Computing Set-Theoretic Generators of an Algebraic Variety.
      5) Yue Ma and Lihong Zhi. The Minimum-Rank Gram Matrix Completion via Fixed Point Continuation Method.
      6) Yao Sun and Dingkang Wang. A Generalized Criterion for Signature Related Groebner Basis Algorithms.
      7) Deepak Kapur, Yao Sun and Dingkang Wang. Computing Comprehensive Groebner Systems and Comprehensive Groebner Bases Simultaneously.
    46. 实验室成员支丽红研究员荣获“第七届中国青年女科学家奖”,此奖由中华全国妇女联合会、中国科学技术协会、中国联合国教科文组织全国委员会及欧莱雅(中国)共同举办。 1月11日颁奖典礼在北京钓鱼台国宾馆隆重举行。(2011/01/11)
    47. 实验室闫振亚博士关于金融畸形波(financial rogue waves)的工作得到国际学术界关注。 闫振亚首次得到了一类非线性期权价格模型两种类型的精确解,即金融畸形波解。这一工作被美国麻省理工学院百年期刊《技术评论》以“经济物理学家预言畸形金融波”为题进行了报道。 另外,美国百年期刊《大众科学》也对这一工作以“经济物理学家认为畸形波可以解释金融市场的波动性”为题进行了报道。(2011/01/10)


______________________________________________________

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


Site Design: Digital Data Workshop Design 2003