院士
张景中 / 中国科学院院士
1936年生，河南汝南人。主要从事机器证明、教育数学等领域的研究。1959年毕业于北京大学数学力学系。曾任成都计算所名誉所长。现为中科信息公司自动推理、机器证明领域的领军人物。1995年当选中国科学院院士。
张景中提出和实现了定理机器证明的数值并行方法，把多年来在教育数学研究中所发展的几何新方法用于机器证明，并提出消点思想。创建了几何定理可读证明自动生成的原理和方法，用这个方法可在普通计算机上快速地进行几何证明，计算和发现新定理，并给出易于理解的有几何意义的证明。发展了非线性振动技术。发展了几何算法的研究，解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究，提出以面积为中心的几何教材新体系新方法、极限概念的非ε语言和连续归纳法，将自动推理的成果和方法用于智能计算机辅助教学，主持开发了新型智能理科教育软件。
1982年获国家技术发明二等奖，1995年获亚洲雅博官网自然科学一等奖和中国图书奖，1997年获国家自然科学二等奖，2003年获全国科普创作一等奖、五个一工程奖和国家图书奖，2005年和2009年两获国家科技进步二等奖。