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

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

报告时间：11月3日（周五） 10:00–11:00

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

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

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