張景中

張景中(10張)

1936年12月30日，張景中出生於河南省汝南縣 ^[10]  。

1954年，進入北京大學數學力學系學習 ^[7]  。

1957年，從北京大學肄業，在北京清河農場等地勞動。

1959年，從北京大學數學力學系畢業。

1979年，擔任中國科學技術大學數學系講師。

1981年，晉升為副教授。

1985年，調到中國科學院成都分院工作。

1986年，擔任中國科學院研究員，中國科學院成都分院數理科學研究室主任，中國科學院成都計算機應用研究所副所長。

1993年12月，由國務院學位委員會批准為博士導師。

1995年10月，當選為中國科學院院士；同年，調入廣州師範學院（現廣州大學）。

1996年初，創辦了廣州師範學院計算機教育軟件研究所。

2002年，在廣州大學的支持下，創立了廣州景中教育軟件有限公司並任公司董事長。

2009年，到電子科技大學工作，擔任電子科技大學計算機推理與可信計算實驗室主任 ^[5]  。

2022年9月，廣州科普研究智庫出爐，張景中首批入庫。 ^[13] 

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

1996年，張景中參與創建了廣州師範學院“課程與教學論”碩士點，並任該點碩士生導師和學科帶頭人。

1997年，“學科教學論（數學）”被廣州市教育局評為廣州市重點學科 ^[6]  。

1998年9月，招收了一屆“信息與計算科學”本科試點班 ^[6]  。

2000年10月，張景中主持研發的“Z+Z智能教育平台——平面幾何、解析幾何”通過教育部中小學教材審定委員會審查 ^[6]  。

2003年，主持研發的“Z+Z智能教育平台”被編入北京師範大學出版的初中數學教材並向全國發行 ^[6]  。

張景中在機器證明、教育數學、距離幾何及動力系統等多個學科領域做出了突出的貢獻，是中國在這些領域中的學術帶頭人。在廣州大學課程與教學論學科建設中做出重要貢獻 ^[6]  。（廣州大學計算機科學與網絡工程學院評）

張景中進行教育信息技術方面的研究，主要來源於機器自動推理的應用推廣，由此產生了超級畫板的推廣，進而對教息技術具有實際性的推動作用，是教育技術領域真正的搞學術研究的大師 ^[8]  。（廣州大學校友會評）

2022年1月，張景中院士接受《瞭望》專訪談教育數學：把數學變容易。 ^[11]