导师类别 硕导
性 别 男
出生年月 1970年12月
联系电话
通讯地址
Email chinshiping@sina.com

个人简介
2003年毕业于中国科学院成都计算机应用研究所，获工学博士学位，主要从事人工智能、自动推理、符合计算、智能教育软件以及农村电子商务等领域的开发和研究工作。

教育经历
1990年6月毕业于四川大学数学系；1995年6月毕业于四川大学数学院，获理学硕士学位；2003年毕业于中国科学院成都计算机应用研究所，获工学博士学位。
2003年-2005年，电子科技大学，博士后。

社会、学会及学术兼职
四川省农村电子商务协会会长

研究领域
人工智能；自动推理；符合计算；智能教育软件。
农村电子商务。

科研项目
智能教育软件相关研究，德阳市校市科技合作计划资助课；
德阳市农村电子商务现状和发展模式研究，德阳科技支撑计划课；
德阳市县域农村电子商务平台研究与开发，德阳市《科创新项目》；
发展农村电商 助推精准扶贫的问题与对此研究，四川省科技青年联合会；
中江益农电商平台，中江县供销社委托设计及软件开发；
射洪赶场网电商平台，射洪县供销社委托设计及软件开发；
德阳金穗源电商平台，德阳市供销社委托设计及软件开发

发表论文
1、陈世平，一种介于B-性质与P-性质之间的拓扑性质，四川大学学报（自科版），1996，33（3）：225
2、陈世平，张景中，初等不等式的可读证明的自动生成，四川大学学报（工程科学版），2003，35(4)：86
3、刘忠，陈世平，一个求解非线性方程组软件GAS的实现，四川大学学报（自科版），2003年8月
4、陈世平，张景中，三角不等式的自动证明，四川大学学报（自然科学版），2003,40(4)：686.
5、刘忠，陈世平，基于DIXON结式额聚筛法的自动软件，四川大学学报（工程科学版），2004年5月
6、冯山，陈世平，XP-适合中小型企业软件系统的敏捷算法，西南石油学院学报，2003年12月
7、陈世平，陈光禹，基于整数序列表示的逻辑函数化简，四川大学学报（自科版），2005年8月
8、陈世平，陈光禹，逻辑表达式图的实现及其在集成电路故障可测性研究中的应用，四川大学学报（工程科学版），2006年3月
9、Chen Shiping, LIU Zhong, The Readable Proof of Triangle Inequalities，ICCCI, December 25-26, 2010, 4(2010), 277-280
10、陈世平，由初等数学实现三角形几何不等式的自动证明，中国初等数学研究，2011(3)：24
11、陈世平，刘忠，一类三角形几何不等式的自动证明，计算机应用研究， 2012,29(5)：1732
12、陈世平，三角函数不等式的自动证明，四川大学学报（自科版），13年5月
13、陈世平，刘忠，三角函数多项式不等式的自动证明，汕头大学学报（自然科学版）,2015(03):43-55
14、陈世平，刘忠， 三角函数多项式的实根分离，汕头大学学报（自然科学版）2016, v.31;No.90(03) 25-39
15、陈世平，刘忠，Taylor展开式与三角函数不等式的自动证明，系统科学与数学, 2016, 36（8)
16、陈世平，刘忠, 指数多项式不等式的自动证明.系统科学与数学，2017 Vol. 37(7):1692–1703
17、陈世平，刘忠，一类超越函数多项式不等式的自动证明，系统科学与数学，2019年第05期
18、陈世平，陈果，混合三角函数多项式的优化问题，数学的实践与认识，已录用
19、Chen Shiping, LIU Zhong,Automated Proof of Mixed Trigonometric-polynomial Inequalities，Journal of
Symbolic Computation, 2019, 15(34):1-12.
20、陈世平，陈果，逐次Taylor替换与一类幂指函数不等式的机器证明，汕头大学学报，已录用
21、Chen Shiping,Ge Xinyu,A Solution to an Open Problem of Zhuling for Wilker-Type Inequalities,Journal of Inequalities and Applications,received.

科研创新
1、计算机软件著作权登记证书：个体私营建账管理信息系统V1.0，登记号：2005SR03706
2、计算机软件著作权登记证书：中江供销社益农电商平台，登记号：软著登字第**