主講人:侯慶虎 天津大學(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ù)恒等式。