来稿应自觉遵守国家有关著作权法律法规，不得侵犯他人版权或其他权利，如果出现问题作者文责自负，而且本刊将依法追究侵权行为给本刊造成的损失责任。本刊对录用稿有修改、删节权。经本刊通知进行修改的稿件或被采用的稿件，作者必须保证本刊的独立发表权。一、投稿方式： 1、请从我刊官网直接投稿。 2、请从我编辑部编辑的推广链接进入我刊投审稿系统进行投稿。二、稿件著作权： 1、投稿人保证其向我刊所投之作品是其本人或与他人合作创作之成果，或对所投作品拥有合法的著作权，无第三人对其作品提出可成立之权利主张。 2、投稿人保证向我刊所投之稿件，尚未在任何媒体上发表。 3、投稿人保证其作品不含有违反宪法、法律及损害社会公共利益之内容。 4、投稿人向我刊所投之作品不得同时向第三方投送，即不允许一稿多投。 5、投稿人授予我刊享有作品专有使用权的方式包括但不限于：通过网络向公众传播、复制、摘编、表演、播放、展览、发行、摄制电影、电视、录像制品、录制录音制品、制作数字化制品、改编、翻译、注释、编辑，以及出版、许可其他媒体、网站及单位转载、摘编、播放、录制、翻译、注释、编辑、改编、摄制。 6、第5条所述之网络是指通过我刊官网。 7、投稿人委托我刊声明，未经我方许可，任何网站、媒体、组织不得转载、摘编其作品。

胡守仁、张景中获2021年「CCF终身成就奖」！他们(3)

作者:

关键词:

摘要：

1936年出生于河南汝南县，本科毕业于北京大学数学力学系，历任中国科学技术大学数学系讲师与副教授、中国科学院研究员，1993年担任博士生导师，1995年当选中国科学院院士，1996年初创办了广州大学（原广州师范学院）计算机教育软件研究所并担任所长、教授，主要从事机器证明、教育数学、距离几何及动力系统研究。

他获得「CCF终身成就奖」的理由是：

张景中教授提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题，创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。长期致力于科普工作并做出了突出贡献。

他在几何定理可读机器证明、教育数学、距离几何及动力系统、学科教育信息技术学科领域以及数学科普做出了突出的贡献。主要成果包括：

计算机自动推理：（1）提出以面积方法为基础的消点法，实现了几何定理可读证明的自动生成，使计算能够给出容易理解和检验的推理演算或证明过程，被国际同行誉为「是自动推理领域三十年来最重要的进展，是计算机处理几何问题道路上的里程碑」；（2）提出用近似计算获取准确值的理论和基本方法；（3）建立了复系数多项式的完全判别系统；（4）提出了几何定理可读证明自动生成的点几何方法。
度量几何与几何不等式：（1）给出初等图形在欧氏空间实现的充要条件；（2）发现并证明了有限质点组的基本的不等式；（3）证明了高维单形上Bernstein多项式凸性定理的逆定理；（4）解决了古典的单位圆规基本作图问题。
动力系统与迭代：（1）给出逐段单调连续函数迭代根存在充要条件；（2）给出单调连续函数生成的迭代半群的唯一性准则；（3）给出费根堡函数方程连续解构造方法。
教育数学：提出教育数学的基本观点和理论，致力于通过把数学变得更容易而改革数学教育。建立有章可循的几何解题方法和相应的公理体系、提出不用极限概念的微积分学基本理论与方法。
教育信息技术：提出学科智能教育平台的概念和基本理论方法，并将数学机械化的思想方法和成果用于教育软件研发，创作了《Z+Z智能教育平台》，获香港国际发明博览会金奖。

张景中教授坚持产学研结合的发展道路。2002年，他在广州大学的支持下创立了广州景中教育软件有限公司并担任公司董事长。

消息链接：

https://mp.weixin.qq.com/s/9TtRNoY-HIg1EJzcUyUqEA

雷峰网

文章来源：《微计算机信息》网址: http://www.wjsjxx.cn/zonghexinwen/2022/0127/592.html