跳至內容

張景中

維基百科,自由的百科全書
張景中
性別
出生 (1936-12-01) 1936年12月1日87歲)
河南省汝南縣
國籍 中華人民共和國
經歷
代表作
    • 數學家的眼光
    • 平面幾何新路
    • 數學與哲學
    • 從數學教育到教育數學
    • 平面幾何新路解題研究
    • 從√2談起
    • 面積關係幫您解題
    • 數學雜談

張景中(1936年12月1日),男,河南汝南人,中國數學家數學科普作家。

生平

[編輯]

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

1974年於中學任教。

1978年至1985年間,在離散動力系統和距離幾何的部分算法取得成果。

1979年:任教於中國科學技術大學,看到吳文俊關於機器證明幾何定理新方法的論文,開始進入該領域。

1992年5月:應美國衛奇塔州立大學周咸青教授邀請,往該校合作研究以消點算法解決了機器證明的難題,與周咸青、高小山證明了近百條平面幾何定理。

1995年當選中國科學院信息技術科學部院士。

著作

[編輯]
  • Zhang J-Z, Chou S.C, Gao,X.S, Automated production of traditional proofs for geometry in Euclidean geometry, Wichita State U 1992
  • 《動態幾何教程》
  • 《幾何新方法和新體系》
  • 《平面幾何新路解題研究》,張景中著
  • 《漫話數學》
  • 《數學家的眼光》
  • 《數學與哲學》
  • Zhang Jing-Zhong, Points Elimination Methods for Geometric Problem Solving
  • Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems (Series on Applied Mathematics, Vol 6);Shang-Ching Chou; Xiao-Shan Gao; Jing-Zhong Zhang, ISBN 9810215843

參考

[編輯]