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
參考
平面幾何新路解題研究，張景中著
一月 28, 2023
张景中, 張景中, 1936年12月1日, 河南汝南人, 中國數學家, 數學科普作家, 性别男出生, 1936, 1936年12月1日, 86歲, 河南省汝南县国籍, 中华人民共和国经历, 中国科学院院士, 信息技术科学部, 1995年, 代表作, 数学家的眼光, 平面几何新路, 数学与哲学, 从数学教育到教育数学, 平面几何新路解题研究, 2谈起, 面积关系帮您解题, 数学杂谈生平, 编辑1959年毕业于北京大學數學力學系, 1974年於中學任教, 1978年至1985年間, 在離散動力系統和距離幾何的部分算法取. 張景中 1936年12月1日 男 河南汝南人 中國數學家 數學科普作家 张景中性别男出生 1936 12 01 1936年12月1日 86歲 河南省汝南县国籍 中华人民共和国经历 中国科学院院士 信息技术科学部 1995年 代表作 数学家的眼光 平面几何新路 数学与哲学 从数学教育到教育数学 平面几何新路解题研究 从 2谈起 面积关系帮您解题 数学杂谈生平 编辑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 平面幾何新路解題研究 張景中著 取自 https zh wikipedia org w index php title 张景中 amp oldid 74881476, 维基百科，wiki，书籍，书籍，图书馆，
