简单百科
张景中

张景中

张景中，男，1936年12月30日生，河南汝南人，计算机科学家、数学家、教育家、中国科学院院士。其主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。

1954年，张景中进入北京大学数学力学系学习。1959年，张景中从北京大学数学力学系毕业。1979年，他在中国科学技术大学数学系担任讲师，并于1981年升为副教授。1986年，张景中担任中国科学院研究员，中国科学院成都分院数理科学研究室主任，中国科学院成都计算机应用研究所副所长。1991年，张景中开始享受政府特殊津贴。1995年10月，张景中当选为中国科学院院士。同年他调入广州师范学院。1996年，张景中创建了广州大学（原广州师院）“课程与教学论”硕士点并任该点硕士生导师和学科带头人。1997年，张景中当选为中共十五大代表。2002年，张景中在广州大学的支持下，创立了广州景中教育软件有限公司并任公司董事长。2022年9月17日，张景中作为首批进入广州科普研究智库的专家，在2022年广州市全国科普日主会场活动暨第五届科普嘉年华上亮相。

张景中教授提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题；创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。他曾获1995年中国科学院自然科学奖一等奖、1997年国家自然科学二等奖及“全国五一劳动奖章”等；其应用研究获1982年国家发明二等奖等。

人物经历

张景中，男，1936年12月30日生，河南汝南人。

1954年，张景中进入北京大学数学力学系学习，1957年肄业，之后他曾在北京清河农场等地劳动。1958年起，张景中在中国科学院成都分院工作，任数理科学研究室主任、研究员。1959年，张景中从北京大学数学力学系毕业，1979年，他在中国科学技术大学数学系担任讲师，并于1981年升为副教授。1985年，张景中调到中国科学院成都分院工作。1986年，张景中担任中国科学院研究员，中国科学院成都分院数理科学研究室主任，中国科学院成都计算机应用研究所副所长。1991年，张景中开始享受政府特殊津贴。1993年12月，国务院学位委员会批准张景中为博士导师。1995年10月，张景中当选为中国科学院院士，兼任中国计算机学会理事、中国科学技术协会委员。同年调入广州师范学院。1996年，张景中作为学科带头人，创建了广州大学（原广州师院）“课程与教学论”硕士点并任该点硕士生导师和学科带头人。1997年，张景中当选为中共十五大代表，同年他获“国家自然科学奖二等奖”。

2002年，张景中在广州大学的支持下，创立了广州景中教育软件有限公司并任公司董事长。2005年，张景中的作品《数学家的眼光》获国家科学技术进步二等奖。2008年10月，张景中来到电子科技大学工作。2022年9月17日，张景中作为首批进入广州科普研究智库的专家在2022年广州市全国科普日主会场活动暨第五届科普嘉年华上亮相。

研究方向

张景中主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。

主要成就

科研成就

张景中的主要贡献是：

（一）提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。

（二）创立计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。

（三）创立定理机器证明的数值并行方法的原理和算法。

（四）对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题。

（五）创立了教育数学的思想和方法。

此外张景中所承担的国家973项目及省、市、学校的科研项目十多项，总经费为四百多万元。他的成果《安全、节能、低噪声的木工电磁振动刨床和木材的电磁振动刨削工艺》于1982年获国家发明二等奖；《几何定理机器证明理论与算法新进展》于1995年获“中科院自然科学奖一等奖”，他所主持开发的软件《Z+Z智能教育平台》于2000年获香港国际发明展览会金奖。其中的“平面几何”“解析几何” 2000年通过国家教育部教材审定委员会审定，由人民教育电子音像出版社出版发行。2003年被编入北京师范大学出版的初中数学教材并向全国发行。