张景中查看源代码讨论查看历史

计算机科学家、数学家，1936年12月30日生于河南。1959年毕业于北京大学数学力学系。中国科学院成都计算机应用研究所研究员、名誉所长，广州师范学院教育软件研究所所长。1995年当选为中国科学院院士。

   提出和实现了定理机器证明的数值并行方法。把多年来在教育数学研究中所发展的几何新方法用于机器证明，并提出消点思想，创建了几何定理可读证明自动生成的原理和方法。用这个方法可在微机上快速地进行几何证明，计算和发明新定理，并给出易于理解的有几何意义的证明。发展了非线性振动技术。发展了几何算法的研究，解决了初等图形在欧氏空间嵌入等问题。开拓教育数学的研究，提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究，主持开发了新型智能理科教育软件。