讲座题目：几何定理的自动证明与发现
讲座时间：2023年11月7日下午4:00—5:00
讲座地点：犀浦校区3号教学楼30456
主讲人：王定康
主讲人简介：王定康，中国科学院数学与系统科学研究院研究员。研究方向是计算机代数、几何定理自动证明、符号计算的算法与实现。研究内容包括：1.高效Gröbner基的算法；2.参数Gröbner基及其应用；3.多项式矩阵分解。在符号计算方面的顶级杂志和学术会议（Journal of Symbolic Computation，ISSAC）以及中国科学（英文版）（数学、信息科学）上共发表论文约30篇。
内容简介：自从吴方法被提出以来，几何定理的自动证明取得了巨大的成功。受到吴方法的启发，Gröbner基也被用于几何定理的机器证明。参数Gröbner系统是Weispfenning于1992年提出的，它是Gröbner基在参数情形的推广。在本次报告中，我们首先简要介绍参数Gröbner系统的定义；其次，展示如何利用参数Gröbner系统来自动发现几何定理；最后，还将给出一种几何命题仅在某些分支上成立的判定方法。
主办：研究生院
承办：数学学院
