開啟主選單

求真百科

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

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