学术科研

 

I. 研究方向

 

计算机代数

几何定理自动证明

符号计算的算法和软件

 

II. 研究内容

 

签名的Groebner基的相关算法

参数Groebner基的计算

几何定理自动证明的理论与算法

矩阵分解（元素为多变元多项式)

 

III. 讲授课程

 

计算代数几何引论(2021-2022)