"

開戸|礼唫【135e.cn】bo123彩票网官网✅顶级正规遊戏平台✅业内最顶尖原生APP,一站体验所有遊戏,bo123彩票网官网✅7*24H在线服务✅值得您信赖|期待您加入我们!

<rt id="soq8q"><optgroup id="soq8q"></optgroup></rt>
<rt id="soq8q"></rt><acronym id="soq8q"><small id="soq8q"></small></acronym> <acronym id="soq8q"></acronym><rt id="soq8q"><optgroup id="soq8q"></optgroup></rt>
<rt id="soq8q"><small id="soq8q"></small></rt>
<rt id="soq8q"></rt><acronym id="soq8q"></acronym>
<rt id="soq8q"></rt>
<sup id="soq8q"></sup>
<tr id="soq8q"><small id="soq8q"></small></tr>
<acronym id="soq8q"></acronym>
<rt id="soq8q"><small id="soq8q"></small></rt>
<acronym id="soq8q"><optgroup id="soq8q"></optgroup></acronym>
<rt id="soq8q"><optgroup id="soq8q"></optgroup></rt>
<sup id="soq8q"></sup>"

學術活動

Existence Problems in the Algorithmic Proof Theory of Combinatorial Identities - 陳紹示 研究員 (中科院數學與系統科學研究院, 數學機械化重點實驗室)

作者:   來源:  時間:2020-01-10

題目:Existence Problems in the Algorithmic Proof Theory of Combinatorial Identities

報告人:陳紹示 研究員

(中科院數學與系統科學研究院, 數學機械化重點實驗室)

報告人簡介:

陳紹示, 現為中國科學院數學與系統科學研究院副研究員, 博士生導師。主要研究符號計算bo123彩票网官网,計算微分代數與組合數學bo123彩票网官网。2011年中國科學院與法國巴黎綜合理工學校聯合培養博士畢業,曾先后在奧地利 Linz 大學符號計算研究所、美國北卡羅來納州立大學、加拿大菲爾茲數學研究所與滑鐵盧符號計算研究組從事博士后工作。 2013年回國到中科院數學與系統科學研究院系統所工作bo123彩票网官网,2017年晉升為副研究員。 先后主持國家自然科學青年基金與面上基金. 在符號計算領域權威會議 ISSAC 錄用論文14篇,以及 Journal of Symbolic Computation,Journal of Algebra,和 Journal of Combinatorial theory, Series A 等期刊發表論文 10 余篇。目前擔任組合領域國際期刊《Annals of Combinatorics》, 國際符號與代數計算專業委員會《ACM Communications in Computer Algebra》,和《系統科學與數學》等雜志編委bo123彩票网官网。 2019年開始擔任國際符號與代數計算年會 ISSAC 指導委員成員. 曾獲得 “ISSAC2014 杰出海報獎”bo123彩票网官网bo123彩票网官网,中國科學院數學與系統科學研究院“2014 年突出科研成果獎”, “2018年度重要科研進展獎”與第二屆 "吳文俊計算機數學青年學者獎"。入選中國科學院第七屆“陳景潤未來之星”人才計劃和中國科學院2018年度青年創新促進會會員。

Abstract: 

Zeilberger's method of creative telescoping is the core of the algorithmic proof theory of combinatorial identities. Telescopers are the linear differential or recurrence operators constructed by creative telescoping, which are used for verifying identities.  The existence of telescopers is related to the termination of Zeilberger's algorithms. In this talk, we first give an overview of some recent work on creative telescoping and then present a solution to existence problems in rational creative telescoping.  This work is joint with Lixin Du, Rong-Hua Wang and Chaochao Zhu.

時間:2020年1月10日(周五)上午10:00-11:00

地點:首都師范大學本部教二樓 627 教室

聯系人:張俊

 

歡迎全體師生積極參加!

 


bo123彩票网官网
<rt id="soq8q"><optgroup id="soq8q"></optgroup></rt>
<rt id="soq8q"></rt><acronym id="soq8q"><small id="soq8q"></small></acronym> <acronym id="soq8q"></acronym><rt id="soq8q"><optgroup id="soq8q"></optgroup></rt>
<rt id="soq8q"><small id="soq8q"></small></rt>
<rt id="soq8q"></rt><acronym id="soq8q"></acronym>
<rt id="soq8q"></rt>
<sup id="soq8q"></sup>
<tr id="soq8q"><small id="soq8q"></small></tr>
<acronym id="soq8q"></acronym>
<rt id="soq8q"><small id="soq8q"></small></rt>
<acronym id="soq8q"><optgroup id="soq8q"></optgroup></acronym>
<rt id="soq8q"><optgroup id="soq8q"></optgroup></rt>
<sup id="soq8q"></sup>