学科简介 学术程序 学员对象 讲员队伍 主要目标
夏壁灿博士现任北京大学数学科学学院副教授，主要研究方向为符号计算和自动推理。在实代数、实几何自动推理方面取得了若干研究成果，并编制了能自动发现不等式型定理的软件DISCOVERER。