各研究所、各部门： 

　　  一、报告题目  

　　    代数不等式机器证明  

　　    二、报告时间  

　　    2020年11月30日（星期一）上午10:00 ；请09:50到场签到。  

　　    三、报告地点  

　　    中国科学院重庆绿色智能技术研究院 科研综合楼 一楼会议室  

　　    四、报告摘要  

　　    证明代数不等式本质上就是证明多项式在半代数约束下的非负性，当半代数约束为空时即全局非负性。在这个报告里，我们回顾证明代数不等式的主要算法，尤其是当前经常使用的有效算法，同时介绍我们的几个相关工作。  

　　    五、专家简介   

　　    夏壁灿，北京大学数学科学学院教授，中国工业与应用数学学会常务理事，中国数学会计算机数学专委会副主任，中国计算机学会形式化方法专委会委员。曾担任北京大学数学科学学院副院长，北京大学数学科学学院信息科学系系主任。 研究兴趣包括：符号计算，程序与混成系统验证，自动定理证明。  

　　     欢迎全院职工及学生参加，谢谢大家。  

　　祝好 

　　国科大重庆学院人工智能学院