• 中欧班列让开放之路越走越宽 2019-04-13
  • “电商定制”价廉未必物美 成为“低价劣质”代名词 2019-04-13
  • 菜鸟世界杯送出50吨包裹-热门标签-华商网数码 2019-04-12
  • 曾祖父、曾祖母、祖父、祖母、父亲、母亲、重孙。一家7人,如果两家联姻,两家共十四人,请问:“看着就想笑”你那15人是咋算出来的? 2019-04-12
  • 权威解读!养老保险基金 中央怎么调剂? 2019-04-10
  • 欢乐“粽”情过端午 尽情放“粽”嗨起来 2019-04-05
  • 南昌重拳整治酒驾毒驾 2019-04-04
  • 德国:网上发布不当言论最高可获刑5年 2019-04-04
  • 哭泣的是鸿茅药酒,受伤的是中华医药!(原创首发) 2019-04-01
  • 不动产登记全国联网 名下多少套房一查就知道 2019-04-01
  • 重庆市南川区:社区“法律诊所”推进普法依法治理 2019-03-29
  • 国家税务总局天津市税务局正式对外挂牌 2019-03-29
  • 新华保险荆州中支助力首届荆楚文化旅游节开幕 2019-03-24
  • 英媒美国父母诉诸法院赶走"啃老"子女 中英均有类似问题 2019-03-24
  • 吕梁:女子被贴罚单心怀不满 朋友圈恶意辱警被查 2019-01-10
  • [12-21] Linear Recurrence Sequences: Theory and Algorithms

    文章来源:  |  发布时间:2018-12-20  |  【打印】 【关闭

      

    全程打闲一年100万 www.edria.net   报告题目: Linear Recurrence Sequences: Theory and Algorithms

      报告人: 陈绍示 (中国科学院数学与系统科学研究院,数学机械化重点实验室)

      时间: 15:00, Dec. 21st, Friday, 2018

      地点: Room 337, Building 5, State Key Lab. of Computer Science, Institute of Software

      摘要:

    Linear recurrence sequences appear everywhere in mathematics and computer science. Challenging problems related to such sequences involve both theoretical and algorithmic studies. In this talk, we will first present a theoretical result on recurrence sequences with entries from a finite set and then some basic symbolic algorithms and software for manipulating recurrence sequences. We will end our talk with an overview of some unsolved problems, such as the Skolem problem and the Positivity problem, and their recent progress.

       

      报告人简介:

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

  • 中欧班列让开放之路越走越宽 2019-04-13
  • “电商定制”价廉未必物美 成为“低价劣质”代名词 2019-04-13
  • 菜鸟世界杯送出50吨包裹-热门标签-华商网数码 2019-04-12
  • 曾祖父、曾祖母、祖父、祖母、父亲、母亲、重孙。一家7人,如果两家联姻,两家共十四人,请问:“看着就想笑”你那15人是咋算出来的? 2019-04-12
  • 权威解读!养老保险基金 中央怎么调剂? 2019-04-10
  • 欢乐“粽”情过端午 尽情放“粽”嗨起来 2019-04-05
  • 南昌重拳整治酒驾毒驾 2019-04-04
  • 德国:网上发布不当言论最高可获刑5年 2019-04-04
  • 哭泣的是鸿茅药酒,受伤的是中华医药!(原创首发) 2019-04-01
  • 不动产登记全国联网 名下多少套房一查就知道 2019-04-01
  • 重庆市南川区:社区“法律诊所”推进普法依法治理 2019-03-29
  • 国家税务总局天津市税务局正式对外挂牌 2019-03-29
  • 新华保险荆州中支助力首届荆楚文化旅游节开幕 2019-03-24
  • 英媒美国父母诉诸法院赶走"啃老"子女 中英均有类似问题 2019-03-24
  • 吕梁:女子被贴罚单心怀不满 朋友圈恶意辱警被查 2019-01-10