• 回复@老老保老张工:这不是歪想也,谁敢保证你害羞的时候没有任务?你不上报别人怎么计划? 2019-06-21
  • 特金明日将通电话 提醒谁莫忘感恩? (原创首发) 2019-05-14
  • "新经济形势下金融创新的变革与机遇"论坛 2019-05-13
  • 深耕位置大数据 四维图新发布MineData 2.0 2019-05-13
  • 十二届全国人大常委会第六次会议 2019-05-12
  • 【北京神龙京津车型报价】北京神龙京津4S店车型价格 2019-05-12
  • “公路挤成步行街”端午假期超944万人次打卡“网红”重庆 2019-05-11
  • 袋鼠+雄鸡!法国澳大利亚球迷花式助威 2019-05-11
  • 中方就中美经贸磋商发表声明 2019-05-10
  • 武警部队“长城-2018”反恐国际论坛在京开幕 2019-05-10
  • 《一说到底》第195期:个税谣言背后的中产焦虑 2019-05-09
  • 《人民日报》李芳事迹或成中国教师典范(原创首发) 2019-05-08
  • 【互动话题】我为两会建言献策 2019-05-08
  • 海淀:今冬四环内区域供暖实现 “电气化” 2019-05-07
  • 交通部:7月1日起禁止不合规车辆运输车通行 2019-05-07
  • 新时时彩后一软件:Existence Problems in Creative Telescoping

    新时时彩模拟器 www.ix1m.com.cn 发布者:文明办发布时间:2019-05-22浏览次数:894


    主讲人:陈绍示 中国科学院数学与系统科学研究院副研究员


    时间:2019年5月24日18:00


    地点:三号楼332会议厅


    举办单位:数理学院


    主讲人介绍:中国科学院数学与系统科学研究院副研究员,  博士生导师。主要研究符号计算,计算微分代数与代数组合学。2011年中国科学院与法国巴黎综合理工学校联合培养博士毕业,曾先后在奥地利 Linz  大学符号计算研究所、美国北卡罗来纳州立大学、加拿大菲尔兹数学研究所与滑铁卢符号计算研究组从事博士后工作。2013年回国到中科院数学与系统科学研究院系统所工作,2017年晋升为副研究员。先后主持国家自然科学青年基金,教育部留学回国人员科研启动基金,与国家自然科学面上基金。在符号计算领域权威会议  ISSAC 录用论文13篇,以及 Journal of Symbolic Computation,Journal of Algebra,和 Journal of  Combinatorial theory, Series A 等期刊发表论文 10 余篇。目前担任国际符号与代数计算专业委员会《ACM  Communications in Computer Algebra》 副编委,《系统科学与数学》编委?;竦霉史庞氪扑隳昊帷癐SSAC2014  杰出海报奖”,中国科学院数学与系统科学研究院“2014  年度突出科研成果奖”,与“2018年度重要科研进展奖”。2014年入选中国科学院第七届“陈景润未来之星”人才计划和中国科学院2018年度青年创新促进会会员。


    内容介绍:In recent years, symbolic summation has achieved rapid development with  applications in combinatorics. In particular, as one of the most crucial tools,  Zeilberger's method creative telescoping has seen various algorithmic  generalizations and improvements over the past two decades. In this talk, we  will focus on existence problems related to creative telescoping for rational  functions in three variables. In this talk, we present existence criteria for  telescopers in the case of trivariate rational functions. This is the starting  work on existence problem beyond the bivariate case. With termination guaranteed  by the criteria, a new algorithm to construct minimal telescopers is further  described, continuing a series of articles in the past few years on the  reduction-based creative telescoping approach. This talk is based on joint  papers with Lixin Du, Qing-hu Hou, Hui Huang, George Labahn, Rong-hua Wang and  Chaochao Zhu.

  • 回复@老老保老张工:这不是歪想也,谁敢保证你害羞的时候没有任务?你不上报别人怎么计划? 2019-06-21
  • 特金明日将通电话 提醒谁莫忘感恩? (原创首发) 2019-05-14
  • "新经济形势下金融创新的变革与机遇"论坛 2019-05-13
  • 深耕位置大数据 四维图新发布MineData 2.0 2019-05-13
  • 十二届全国人大常委会第六次会议 2019-05-12
  • 【北京神龙京津车型报价】北京神龙京津4S店车型价格 2019-05-12
  • “公路挤成步行街”端午假期超944万人次打卡“网红”重庆 2019-05-11
  • 袋鼠+雄鸡!法国澳大利亚球迷花式助威 2019-05-11
  • 中方就中美经贸磋商发表声明 2019-05-10
  • 武警部队“长城-2018”反恐国际论坛在京开幕 2019-05-10
  • 《一说到底》第195期:个税谣言背后的中产焦虑 2019-05-09
  • 《人民日报》李芳事迹或成中国教师典范(原创首发) 2019-05-08
  • 【互动话题】我为两会建言献策 2019-05-08
  • 海淀:今冬四环内区域供暖实现 “电气化” 2019-05-07
  • 交通部:7月1日起禁止不合规车辆运输车通行 2019-05-07