开云·kaiyun(中国)官方网站

性别：男         最高学位：        博导/硕导：博导

个人简介：

张景中，1936年12月30日生，河南省汝南人，中共党员。国科大重庆学院|开云·kaiyun人工智能学院|开云·kaiyun院长。数学家、计算机科学家和数学教育家。 1995年10月当选为中国科学院|开云·kaiyun院士。主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。

教育经历：

主要研究方向：教育数学、机器证明

招生专业：计算机软件与理论、电子信息

代表性成果（含文章、专利、科研项目等）：

代表性论著：

1、张景中; 杨路.单变元实迭代半群的存在唯一准则，北京大学|开云·kaiyun学报(自然科学版)，1982，（10）.

2、张景中; 杨路; 杨孝春.初等图形在欧氏空间的实现问题，1992，（09）.

3、张景中; 杨路; 侯晓荣.代数方程组相关性的一个判准及其在定理机器证明中的应用.计算机学报，1993，（12）.

4、张景中； 杨路； 侯晓荣. A Criterion for Dependency of Algebraic Equations With Applications to Automated Theorem Proving. Science in China,1994,(05).

5、张景中; 杨路; 高小山; 周咸青.几何定理可读证明的自动生成.计算机学报,1995,(05).

6、张景中.几何定理机器证明理论与算法新进展.中国科技奖励,1998,6(4):24.

7、张景中.微积分学的初等化.华中师范大学|开云·kaiyun学报(自然科学版),2006,(04).

8、张景中； 冯勇.采用近似计算获得准确值.中国科学，2007,(07).

9、张景中； 冯勇.第三代的微积分.自然杂志，2010,,(02).

10、张景中.数学家的眼光. ISBN号：7514802010

11、张景中.好玩的数学  ISBN号：9787514804317

12、张景中.院士科普书系  ISBN号：9787535255488

13、张景中.帮你学数学  ISBN号：9787514801972

主持科研项目：

1、自动推理与认知重庆市重点实验室平台与基地建设  （省部级）2012.1-2014.1 100万元

2、基于符号-数值混合计算的误差可控算法及应用（国家级       ）2012.1-2015.12  260万元

3、微分代数方程的可信计算理论与性态分析（省部级）2013.1-2015.12   60万元

4、零误差计算理论与应用  横向   2014.6-2016.12     100.00 万元

5、零误差计算在欧几里得格和密码学中的应用 省部级       2014.12-2017.12  60.00万元

所获荣誉：

享受政府特殊津贴，曾获“全国优秀教师”等称号及“全国五一劳动奖章”。

主要奖项有：

1982年获国家发明二等奖

1995年获中科院自然科学奖一等奖

1997年获国家自然科学奖二等奖

2003年获五个一工程奖

2005年获国家科技进步二等奖

2009年获国家科技进步二等奖