不等式机器证明
[TMCSC]
August 05, 2020 14:30-15:30
腾讯会议（线上）
SPEAKER
夏壁灿（北京大学）
ABSTRACT
不等式机器证明是自动推理领域的一个重要而困难的问题，在数学的多个领域以及其他的科学、技术和工程领域有重要的应用。该领域的进展依赖于计算实代数和计算实代数几何领域的理论创新和算法改进。我们回顾不等式机器证明的几种主要方法并简要介绍我们的几个相关工作。
ORGANIZERS
黄南京（四川大学）
寇 辉（四川大学）
连 增（四川大学）
张德学（四川大学）
张伟年（四川大学）
SUPPORTED BY
国家天元数学西南中心
四川大学数学学院