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

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

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