一、 个人基本信息

出生日期： 1989年8月

籍贯： 河南省周口市

性别： 男

民族： 汉

专业技术职务：讲师

最高学历：博士研究生

工作单位：中国民航大学理学院

通信地址：天津市，中国民航大学南院理学院

邮政编码：300300

电  话：022-24092515 (办)
电子邮箱：xjdou@cauc.edu.cn

二、学习和工作经历简介

2019/03 – 至今，中国民航大学，理学院，讲师；

2013/09 – 2018/06， 中国科学院大学，应用数学专业，博士（硕博连读）；

2008/09 – 2012/07， 郑州大学，数学与应用数学专业，学士；

三、课程教学（本科、研究生课程）

本科生课程：高等数学，线性代数，复变函数与积分变换。

四、主要研究方向和科研业绩

1）主要研究方向：

●符号数值混合计算

●机器证明

七、 论著目录

1）代表性学术论文

 [1] Jin-San Cheng, Xiaojie Dou, Junyi Wen. A New Deflation Method For Verifying the Isolated Singular Zeros of Polynomial Systems. Journal of Computational and Applied Mathematics, Volume 376, 2020.

[2] Cheng J S, Dou X. Certifying simple zeros of over-Determined polynomial systems, In: Gerdt V, Koepf W, Seiler W et al. (eds) Computer Algebra in Scientific Computing. CASC 2017. Lecture Notes in Computer Science,2017.

[3] Xiaojie Dou, Jin-san Cheng. A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems. Mathematics 2018, 6, 166.