报告题目：机器智能与符号计算
时 间：2024年06月15日(星期六) 16:00
地 点：科技楼18号楼1102
主 办：数学与统计学院、分析数学及应用教育部重点实验室、福建省分析数学及应用重点实验室、统计学与人工智能福建省高校重点实验室、福建省应用数学中心（福建师范大学）
参加对象：感兴趣的老师和研究生
报告摘要：本报告将简述符号计算相关方法及其在定理证明、机器人运动和微分方程定性分析等方面的应用。同时介绍AIphaGeometry结合吴方法在几何学定理证明中取得的新突破，并探讨机器学习与符号计算交叉研究的一些问题。
报告人简介：黄博，2021年博士毕业于北京航空航天大学，2023年加入北京航空航天大学数学科学学院任副教授，研究兴趣为计算机数学与动力系统定性分析。在J. Symb. Comput.、Numer. Algorithm.、Acta Math. Sci.等期刊和ISSAC等国际会议上发表论文20余篇。