講座時(shí)間：2023年11月7日下午4:00—5:00
講座地點(diǎn)：犀浦校區(qū)3號(hào)教學(xué)樓30456
內(nèi)容簡(jiǎn)介：自從吳方法被提出以來，幾何定理的自動(dòng)證明取得了巨大的成功。受到吳方法的啟發(fā)，Gr?bner基也被用于幾何定理的機(jī)器證明。參數(shù)Gr?bner系統(tǒng)是Weispfenning于1992年提出的，它是Gr?bner基在參數(shù)情形的推廣。在本次報(bào)告中，我們首先簡(jiǎn)要介紹參數(shù)Gr?bner系統(tǒng)的定義；其次，展示如何利用參數(shù)Gr?bner系統(tǒng)來自動(dòng)發(fā)現(xiàn)幾何定理；最后，還將給出一種幾何命題僅在某些分支上成立的判定方法。
主講人簡(jiǎn)介：王定康，中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院研究員。研究方向是計(jì)算機(jī)代數(shù)、幾何定理自動(dòng)證明、符號(hào)計(jì)算的算法與實(shí)現(xiàn)。研究?jī)?nèi)容包括：1. 高效Gr?bner基的算法；2. 參數(shù)Gr?bner基及其應(yīng)用；3. 多項(xiàng)式矩陣分解。在符號(hào)計(jì)算方面的頂級(jí)雜志和學(xué)術(shù)會(huì)議（Journal of Symbolic Computation，ISSAC）以及中國科學(xué)（英文版）（數(shù)學(xué)、信息科學(xué)）上共發(fā)表論文約30篇。
