符號計算與Pi級數

主講人：侯慶虎 天津大學教授

時間：2024年7月11日14：30

地點：三號樓332室

舉辦單位：數理學院

主講人介紹：侯慶虎，天津大學數學學院副院長、教授、博士生導師，國家“優(yōu)秀青年科學基金”獲得者。研究方向為組合數學及其應用，在組合恒等式的機器證明領域取得了一系列重要成果,主持多項國家自然科學基金項目。參與多項應用項目，特別是長期與社科院合作進行城市競爭力研究，獲得“孫冶方”經濟學獎。

內容介紹：介紹利用符號計算方法，推導和證明若干涉及Pi的級數恒等式。包括利用Gosper表示和約化算法構造Pi級數恒等式，利用符號求導證明Pi級數恒等式，以及構造WZ對證明Pi級數恒等式。