罗炎明,梁铭锵.涓埃报华夏精诚攀昆仑——记著名科学家张景中[J].中国科学院院刊,1996,(1):46-49.

作者

罗炎明
成都计算机应用研究所!成都610041

梁铭锵
成都计算机应用研究所!成都610041

中文关键词

定理;机器证明;教育数学

中文摘要

张景中教授是我国著名的数学家、博士生导师。他不仅在数理科学领域成绩卓著,开拓了定理机器证明的理论与方法,创立了“教育数学”的思想,而且在科普创作方面也造诣颇深。

作者简介