2020年11月30日(星期一)上午10:00 ;请09:50到场签到.
证明代数不等式本质上就是证明多项式在半代数约束下的非负性,当半代数约束为空时即全局非负性.在这个报告里,我们回顾证明代数不等式的主要算法,尤其是当前经常使用的有效算法,同时介绍我们的几个相关工作.
夏壁灿,北京大学数学科学学院教授,中国工业与应用数学学会常务理事,中国数学会计算机数学专委会副主任,中国计算机学会形式化方法专委会委员.曾担任北京大学数学科学学院副院长,北京大学数学科学学院信息科学系系主任. 研究兴趣包括:符号计算,程序与混成系统验证,自动定理证明.