9月28日下午，我系教师武鹏博士在行政楼6层西会议室参加了学院2022/2023学年第一期“博士学术论坛”。做了题为《浅谈多项式计算》的精彩学术报告。

报告主要内容为：符号计算中，多项式推理中最新的数学方法，涉及“吴方法”、“Grobner基”、“量词消去法”、“根理想成员判定等技术”的特点，及在基于Kripke结构的多项式变迁系统的推理验证中的应用。

报告结束后，大家针对报告内容进行了广泛探讨，交流了科研经验。博士学术论坛为bat365在线登录入口教师和研究生提供了直接、快速了解学术前沿和行业动态的平台，为bat365在线登录入口教师开展科学研究和学术交流提供了良好的环境，也为bat365在线登录入口的学科专业一体化建设营造了良好氛围。