張景中

　　中國科學院院士

　　計算機科學家、數學家，河南汝南人。

　　1959年畢業于北京大學數學力學系。中國科學院成都計算機應用研究所研究員、名譽所長，廣州師范學院教育軟件研究所所長。提出和實現了定理機器證明的數值并行方法。把多年來在教育數學研究中所發展的幾何新方法用于機器證明，并提出消點思想，創建了幾何定理可讀證明自動生成的原理和方法。用這個方法可在微機上快速地進行幾何證明，計算和發明新定理，并給出易于理解的有幾何意義的證明。發展了非線性振動技術。發展了幾何算法的研究，解決了初等圖形在歐氏空間嵌入等問題。開拓教育數學的研究，提出以面積為中心的幾何教材新體系新方法；極限概念的非e語言和連續歸納法；將自動推理的成果和方法用于ICAI的研究，主持開發了新型智能理科教育軟件。