张景中

张景中
性别	男
出生	(1936-12-01) 1936年12月1日 河南省汝南县
国籍	中华人民共和国
经历 中国科学院院士 （信息技术科学部，1995年）
代表作 数学家的眼光 平面几何新路 数学与哲学 从数学教育到教育数学 平面几何新路解题研究 从√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

参考

• https://web.archive.org/web/20041231214421/http://www.pku.org.cn/data/detail.jsp?articleID=2891
• 平面几何新路解题研究，张景中著