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