11月13号下午，中國科學院數學與系統科學研究院博士生導師王定康研究員在K7-310作了題為“參數Groebner基與幾何定理的自動證明與發現”的學術報告。本次報告會由williamhill威廉希尔官网院長劉修生院長主持，該院全體教師參加了本次學術交流活動。
王定康研究員首先介紹了機器證明的背景， 提到最開始由中國的吳文俊先生創立， 使得證明幾何定理的效率大幅度提高。之後又提出了利用不同的工具也可以進行幾何定理證明。王定康研究員最後提出了自己的想法，利用參數Groebner基進行幾何定理證明。緊接着，通過幾個簡單的例題實際結合思路，給出了如何刻畫幾何定理問題，把這些問題轉換為相應的含參數的代數問題，最後用機器解決，對應已知的結論完全正确。最後比較了多種算法在相同問題下的計算時間，通過比較可得知王定康研究員提出的算法是最後。王定康研究員還介紹了他們的團隊最近幾年在機器證明方面取得的最新成果， 同時鼓勵在座的年輕老師多交流，定期組織讨論班。 王研究員的講述深入淺出，思路明确，講解清晰，開闊了老師們的視野，增進了老師們對機器證明的認識和理解，激發了老師們的研究熱情。 講解結束後，王研究員還與williamhill威廉希尔官网教師進行了交流，針對提出的問題，給出了詳細的回答，赢得了大家的熱烈掌聲。（通訊員 于龍 ）
