符號(hào)計(jì)算與Pi級(jí)數(shù)

主講人：侯慶虎 天津大學(xué)教授

時(shí)間：2024年7月11日14：30

地點(diǎn)：三號(hào)樓332室

舉辦單位：數(shù)理學(xué)院

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

內(nèi)容介紹：介紹利用符號(hào)計(jì)算方法，推導(dǎo)和證明若干涉及Pi的級(jí)數(shù)恒等式。包括利用Gosper表示和約化算法構(gòu)造Pi級(jí)數(shù)恒等式，利用符號(hào)求導(dǎo)證明Pi級(jí)數(shù)恒等式，以及構(gòu)造WZ對(duì)證明Pi級(jí)數(shù)恒等式。