主 编 简 介

        张景中，中国科学院院士，博士生导师，中共党员，数学及理论计算机科学家。1959年毕业于北京大学数学力学系。现任中国科学院成都计算机应用研究所研究员、名誉所长。兼任中国计算机学会理事中国科普作家协会理事长、四川省计算机学会理事、四川省科协常务委员、四川省数学会副理事长、广州师范学院教育软件研究所所长。

      他长期从事理论计算机科学和应用数学的研究，在动力系统、非线性振动技术、距离几何、定理机器证明等领域的研究成效卓著，特别是在几何定理机器证明的研究中，创立了非线性代数方程组相容性判定的含参结式法，提出了弱非退化条件，提出消点思想，创建了几何定理机器可读证明自动生成的原理、方法和算法，并给出易于理解的推理演算证明的过程，被国际机器证明专家视为自动推理领域三十年来最重要的工作，是计算机发展处理几何问题能力道路上的里程碑。发表论文一百多篇，论著十多部，出版数学科普书籍15本，被中国科普作家协会审定为建国以来贡献突出的科普作家。其科研成果获国家自然科学二等奖、国家发明二等奖、中国科学院自然科学一等奖。

主　编： 张景中 (院士)
副主编： 秦学文
委　员：（以姓氏笔画为序）