| 郑晓鹏 博士(中国科学院) 职称/职务:讲师 研究方向: 符号计算 办公地点:D栋南塔308 Email:xiaopengzheng@stu.edu.cn |
|
郑晓鹏,讲师,2024年在中国科学院数学与系统科学研究院获博士学位,主要研究符号计算、几何定理自动证明、多元多项式矩阵。代表性论文发表在 J. Syst. Sci. Complex., J. Symb. Comput., IEEE Trans. Circuits Syst. II Express Briefs 等学术期刊和International Symposium on Symbolic and Algebraic Computation 国际会议。