张景中院土，1936年12月出生于河南。1959年毕业于北京大学数学力学系，1979年任教于中国科学技术大学，1986年任中国科学院研究员，1995年10月当选为中国科学院院士。现为中国科学院成都计算机应用研究所研究员、名誉所长，广州师范学院计算机教育软件研究所所长。从事机器证明、距离几何、动力系统、教育数学等领域的研究，发表论文100多篇。他提出了系统的面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。1982年曾获国家发明奖二等奖，1995年获中国科学院自然科学奖一等奖，1997年获国家自然科学奖二等奖。所著《教育数学丛书》获1995年中国图书奖和全国数学教育图书一等奖。1997年后从事智能教育软件的研究开发工作。
鄂公网安备 42010302001612号 