120周年校慶系列學術活動：組合恒等式的機器證明

主 講 人 ：侯慶虎    教授

活動時間：10月14日14時30分    

地      點 ：騰訊會議號：858-172-596

講座內容：

本報告將介紹組合恒等式機器證明的基本原理和經典算法，包括Sister Celine方法、Gosper算法、Zeilberger算法等。我們還將介紹組合恒等式機器證明的一些新進展和有待解決的問題。

主講人介紹：

侯慶虎，天津大學數學學院教授，副院長。研究方向為組合數學及其應用，相關成果發表在 J. Combin. Theory Ser. A,Adv. in Appl. Math. 等雜志。在組合恒等式的機器證明領域取得系列成果并參與多項應用項目，長期與社科院合作進行城市競爭力研究，獲得“孫冶方”經濟學獎。國家"優秀青年科學基金"獲得者。

發布時間：2022-10-12 15:54:38