报告题目：几何定理的自动证明与发现

报 告 人：王定康研究员（中国科学院数学与系统科学研究院）

报告时间：2023年11月3日  10:00-11:00

报告地点：数学研究中心报告厅

报告摘要：

自从吴方法被提出以来，几何定理的自动证明取得了巨大的成功。受到吴方法的启发，Groebner基也被用于几何定理的机器证明。参数Groebner系统是Weispfennin在1992年提出的，它是Groebner基在参数情形的推广。首先，我们将简要介绍参数Groebner系统的定义。其次，我们将展示如何利用参数Groebner系统来自动发现几何定理。最后，我们还将给出一种几何命题仅在某些分支上成立的判定方法。

报告人简介：

王定康，中国科学院数学与系统科学研究院，研究员。研究方向是计算机代数，几何定理自动证明，符号计算的算法和实现。研究内容包括：1、高效Groebner基的算法。2、参数Groebner基及其应用。3、多项式矩阵分解。在符号计算方面的顶级杂志和学术会议（Jourmalof Symbolic Computation，ISSAC）以及中国科学（英文版）（数学信息科学）上共发表论文约30篇。