英魂之刃手游体验服:Existence Problems in Creative Telescoping

英魂之刃冒险模式熊猫怎么打 www.yrckl.icu 發布者:文明辦作者:發布時間:2019-05-22瀏覽次數:1484


主講人:陳紹示 中國科學院數學與系統科學研究院副研究員


時間: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.