发信人: elitesworder(天剑)
整理人: zizi_chan(2001-04-23 16:52:38), 站内信件
|
张景中
1936年12月生，河南省汝南县人。中共党员，中国科学院院士，中国科学院成都计算机应用研究所研究员、博士生导师，中国计算机学会理事、四川省计算机学会理事。张景中院士1959年7月毕业于北京大学数学力学系。长期从事离散几何、动力系统、机器证明和教育数学等领域的研究，取得一系列具有国际领先或国际先进水平的成果，发表理论专著或学术论文 117篇(部)。特别在计算机自动推理(定理机器证明)主面。与合作者系统地创立了几何定理可读证明自动生成的原理、方法与算法，提出了实现这一算法的关键技巧，绘出了世界上第一个几何定理可读证明自动生成的通用程序，使国内外不少科学家多年努力而未获明显进展的难题有了重大突破。作为第一完成人取得的成果“几何定理机器证明与算法的新进展”，获中国科学院自然科学一等奖。张景中院士还是一位优秀的科普作家，已出版数学科普书籍15本，科普文章10多篇，共约200万字。 1990年被中国科普作协审定为建国以来贡献突出的科普作家之一，1994年被中国少年儿童出版社评为十大金作家之一。
|
|