[人物简介]

    张景中,中科院成都计算机应用研究所研究员,中国科学院院士。在几何定理机器证明研究中,创立、提出了该领域目前国内外最先进的理论、方法和程序,其研究成果“几何定理机器证明理论与算法的新进展”获国家自然科学二等奖、中国科学院自然科学一等奖;提出一种智能教育软件内核设计技术,研制开发出一系列具有国际先进水平的智能教育软件;他与曹沛生等人合作研制成功的“安全、节能、低噪声的木工电磁振动刨床和木材的电磁振动刨削工艺”,获中国发明家协会二等奖。

    在中国科技大学任教期间,张景中的科研和教学成果似泉水般涌出。他提出很多新颖的学术思想,并针对国际数学教育界数十年长期争论而未获解决的中学几何教学及大学微积分教学如何改革的难题,提出了独到的论点和方法,被数学教育界许多专家认可。1995年以《平面几何新路》为代表的3本科普著作被中国教育学会评为全国数学教育图书奖一等奖。

    张景中最突出的成就是在定理机器证明领域。他不仅开拓了其理论与方法,而且还开发成功了名为《数学实验室》的新型智能教育软件。张景中与杨路教授还创立了目前世界上唯一的可并行化的几何定理机器证明的算法软件。这项研究成果1995年获中国科学院自然科学奖一等奖;1997年又荣获国家自然科学奖二等奖。他被喻为定理机器证明后期的开拓者。

    张景中与合作者还解决了美国著名几何学家Pedoe提出的″生锈圆规作图问题″,他们关于几何算法的有关成果已成为该领域的基本文献被广泛引用。

    (注:首届“四川创新人才奖”评选于2000年举行,获奖者职务均为当时职务。)