張景中檢視原始碼討論檢視歷史

計算機科學家、數學家，1936年12月30日生於河南。1959年畢業於北京大學數學力學系。中國科學院成都計算機應用研究所研究員、名譽所長，廣州師範學院教育軟件研究所所長。1995年當選為中國科學院院士。

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