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

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

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

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