En
张景中

 

张景中教授1936年出生,河南省汝南县人中共党员、中国科学院院士、计算机学科和数学学科博士生指导教师、中国科普作家协会理事长。任广州大学计算机教育软件研究所所长,中国科学院成都计算机应用研究所名誉所长,现任华中师范大学国家数字化学习工程技术研究中心学术委员会主任,江西城市学院名誉校长、学术委员会主任。1991年开始享受政府特殊津贴。1995年当选为中国科学院院士。曾获“全国优秀教师”等称号及“全国五一劳动奖章”。20063月任江西城市学院名誉校长、学术委员会主任。2009年到电子科技大学工作,任电子科技大学计算机推理与可信计算实验室主任。

张景中院士主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。其主要贡献是:(一)提出了面积解题方法,并用之于机器证明的研究,使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。(二)创立计算机生成几何定理可读证明的原理和算法,这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。(三)创立定理机器证明的数值并行方法的原理和算法。(四)对几何定理机器证明的吴方法进行了改进和发展,创立了含参结式法,升列组的WR分解算法,彻底解决了可约升列相对分解问题。(五)创立了教育数学的思想和方法。