张景中 Zhang Jingzhong

简历 ：1936年12月30日生于河南开封。计算机科学家、数学家。1959年毕业于北京大学数学力学系。1995年当选为中国科学院院士。现任华中师范大学教育信息技术工程研究中心学术委员会主任，广州大学教育软件研究所名誉所长，中科院成都计算机应用研究所名誉所长，中国科普作家协会理事长，中国高等教育学会教育数学专业委员会理事长。

主要成就 ：提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明，提出消点思想，创建了几何定理可读证明自动生成的原理和方法。用此方法可在微机上快速地进行几何证明和计算，发现新定理，并给出易于理解的推理过程。发展了几何算法的研究，解决了初等图形在欧氏空间嵌入等问题。1982年和1995年分获国家发明奖二等奖和中科院自然科学奖一等奖。1997年和2005年分获国家自然科学奖二等奖和国家科技进步奖二等奖。

著作和论文 ：
《数学家的眼光》中国少年儿童出版社  1990年
The Parallel numerical method of mechanical Theorem Proving（定理机器证明的数值并学》）  第74期  1990年
Automated production of traditional proofs for theorems in Euclidean geometry （与周咸青、高小山合著）  WSUCS-92-3（《美国威奇它大学研究报告》）  1992年
Annals of Mathematics and Artificial Intelligence（《数学与人工智能年刊》）  第13期  1995年