学术交流
学术交流
首页  >  学术科研  >  学术交流  >  正文

    【创源大讲堂学术讲座】 几何定理的自动证明与发现

    2023-11-06 鲁东 点击:[]

    讲座时间:2023117日下午4:00—5:00

    讲座地点:犀浦校区3号教学楼30456

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

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


    上一条:【学术讲座】基于全同态加密的隐私保护数据处理技术概述
    下一条:【学术讲座】异配图神经网络:理论与方法

    关闭

Baidu
sogou