个人简介
郑晓鹏，讲师，2024年在中国科学院数学与系统科学研究院获博士学位。
研究方向
主要研究符号计算、几何定理自动证明、多元多项式矩阵
代表性论文
代表性论文发表在 J. Syst. Sci. Complex., J. Symb. Comput., IEEE Trans. Circuits Syst. II Express Briefs 等学术期刊和International Symposium on Symbolic and Algebraic Computation 国际会议。
版权所有：汕头大学数学与计算机学院
