報告題目： 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 余篇。獲得國際符號與代數計算年會“ISSAC2014 杰出海報獎”和中國科學院數學與系統科學研究院“2014 年突出科研成果獎”. 入選中國科學院第七屆“陳景潤未來之星”人才計劃和中國科學院2018年度青年創新促進會會員。