走向现代数学学术报告 - 王定康研究员（No. 745)

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

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

时间：2024年11月15日 10:00

地点：东海岸校区-D实209

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

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