张景中 - 电子科技大学 - 计算机科学与工程学院

个人简介

个人背景张景中（1936.12-），男，河南省汝南县人，中共党员，1995年10月当选为中国科学院院士，计算机科学家、数学家和数学教育学家、四川省计算机学会理事长，曾获“全国优秀教师”等称号及“全国五一劳动奖章”，1997年当选为中共十五大代表，享受政府特殊津贴。曾任中国科普作家协会理事长、广州大学计算机教育软件研究所所长，现任中国科学院成都计算机应用研究所名誉所长，中国科学院重庆绿色智能技术研究院重庆市推理与认知重点开放实验室主任。2008年10月来电子科技大学工作。个人经历：1.中共十五大代表，享受政府特殊津贴2.中国科普作家协会理事长3.广州大学计算机教育软件研究所所长4.中国科学院成都计算机应用研究所名誉所长5.中国科学院重庆绿色智能技术研究院重庆市推理与认知重点开放实验室主任6.2008年十月到电子科技大学工作其主要贡献是:（一）提出了面积解题方法，并用之于机器证明的研究，与合作者一同创立计算机生成几何定理可读证明的原理和算法，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。这项成果被国际同行认为是使计算机能像处理算术一样处理几何工作的“里程碑”。（二）与杨路合作创立定理机器证明的数值并行方法的原理和算法。（三）与杨路合作对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，解决了可约升列相对分解问题。（四）创立了教育数学的思想和方法，为基础数学教育研究提供了新的有效的思路。研究项目成果《安全、节能、低噪声的木工电磁振动刨床和木材的电磁振动刨削工艺》1982年获国家发明二等奖，为第3完成人。成果《几何定理机器证明理论与算法新进展》1995年获“中科院自然科学奖一等奖”，1997年获“国家自然科学奖二等奖”，为第一完成人。自1980年以来，张院士发表学术和科普作品共150多篇(册)，1990年被中国科普协会审定为建国以来贡献突出的科普作家之一，1994年被中国少年儿童出版社评为十大金作家之一。作品《数学家的眼光》2005年获得国家科技进步二等奖，为唯一完成人。所主编的丛书《好玩的数学》2009年获得国家科技进步二等奖，为第一完成人。所主持开发的软件《Z+Z智能教育平台》2000年获香港国际发明展览会金奖。论文列表自1980年以来，张院士发表学术和科普作品共150篇（册），包括《数学家的眼光》、《好玩的数学、《帮你学数学》、《新概念几何》等。其他信息 1.提出了面积解题方法，并用之于机器证明的研究，与合作者一同创立计算机生成几何定理可读证明的原理和算法，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。这项成果被国际同行认为是使计算机能像处理算术一样处理几何工作的“里程碑”。2.与杨路合作创立定理机器证明的数值并行方法的原理和算法。

研究领域

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

科研方向张院士曾经从事机器证明、教育数学、距离几何及动力系统等领域的研究。