科学研究
当前位置: 系部首页 >> 科学研究 >> 正文
武鹏博士参加“博士学术论坛”
时间:2022年09月29日 09:47    点击:

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

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

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