张景中科研成就科研综述张景中提出和实现了定理机器证明的数值并行方法

把多年来在教育数学研究中所发展的几何新方法用于机器证明，并提出消点思想，创建了几何定理可读证明自动生成的原理和方法，用这个方法可在微机上快速地进行几何证明，计算和发明新定理，并给出易于理解的有几何意义的证明

发展了非线性振动技术

发展了几何算法的研究，解决了初等图形在欧氏空间嵌入等问题

开拓教育数学的研究，提出以面积为中心的几何教材新体系新方法极限概念的非e语言和连续归纳法将自动推理的成果和方法用于ICAI的研究，主持开发了新型智能理科教育软件 

科研成果奖励获奖时间项目名称奖励名称1982年安全节能低噪声木工电磁振动切削工艺国家发明二等奖1995年《教育数学丛书》第九届中国图书奖1995年《教育数学丛书》第一届全国数学教育图书一等奖1995年几何定理机器证明理论与算法新进展中国科学院自然科学奖一等奖1996年《数学家的眼光》第三届全国优秀科普作品二等奖1997年几何定理机器证明理论与算法新进展国家自然科学奖二等奖2002年《数学家的眼光》广州市首届优秀科普作品一等奖2003年《院士数学讲座》第五届全国优秀科普作品奖科普图书类一等奖2003年5月《院士数学讲座专辑（3册）》第五届全国优秀科普作品奖科普图书类一等奖2003年12月《院士数学讲座专辑（3册）》中华人民共和国新闻出版署颁发第六届国家图书奖2005年《数学家的眼光》国家科技进步二等奖 《院士数学讲座：帮你学数学》精神文明建设“五个一工程”第九届入选作品奖 

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。