柱形代数分解算法与不等式机器证明
Speaker
韩京俊，约翰斯·霍普金斯大学
Time
2021-07-13 10:00:00 ~ 2021-07-13 11:30:00
Location
软件大楼专家楼1319会议室
Host
曹钦翔
Abstract
柱形代数分解算法是G.E.Collins与1973年提出并经后人改进的实闭域上量词消去的一个完备1973年提出并经后人改进的实闭域上量词消去的一个完备算法。 我们将介绍一个基于代数分解算法的新投影算子，并证明若应用新的投影算法，我们仍能够在每一个使得多项式f不等于0的开连通分支中取出一个有理点。特别地，新的投影算子可被应用于测试多项式的非负性。若时间允许，我们还将介绍新的投影算子在copositive问题中的应用。本次讲座基于演讲人与代立云、Hoon Hong、金陟、夏璧灿等人的合作。
Bio
韩京俊，2013年、2018年于北京大学数学科学学院取得本科和博士学位。本科期间师从夏璧灿教授学习符号计算，博士期间师从田刚院士、许晨阳教授学习代数几何。博士毕业后，在约翰斯·霍普金斯大学任J.J. Sylvester助理教授、做博士后研究至今。