北京航空航天大学黄博副教授学术报告

科技楼18号楼1102

发布者:韩伟发布时间:2024-06-13浏览次数:151

报告题目:机器智能与符号计算

时      间:2024年06月15日(星期) 16:00

地      点:科技楼18号楼1102

主      办数学与统计学院、分析数学及应用教育部重点实验室、福建省分析数学及应用重点实验室、统计学与人工智能福建省高校重点实验室福建省应用数学中心(福建师范大学

参加对象:感兴趣的老师和研究生


报告摘要本报告将简述符号计算相关方法及其在定理证明、机器人运动和微分方程定性分析等方面的应用。同时介绍AIphaGeometry结合吴方法在几何学定理证明中取得的新突破,并探讨机器学习与符号计算交叉研究的一些问题。

 

报告人简介:黄博,2021年博士毕业于北京航空航天大学,2023年加入北京航空航天大学数学科学学院任副教授,研究兴趣为计算机数学与动力系统定性分析。在J. Symb. Comput.Numer. Algorithm.Acta Math. Sci.等期刊和ISSAC等国际会议上发表论文20余篇。