氢原子百科 
张景中，男，1936年12月30日生，河南汝南人，[2]计算机科学家、数学家、教育家、中国科学院院士。[3][4]其主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。[2]
1954年，张景中进入北京大学数学力学系学习。[5]1959年，张景中从北京大学数学力学系毕业。1979年，他在中国科学技术大学数学系担任讲师，并于1981年升为副教授。[5][6]1986年，张景中担任中国科学院研究员，中国科学院成都分院数理科学研究室主任，中国科学院成都计算机应用研究所副所长。1991年，张景中开始享受政府特殊津贴。1995年10月，张景中当选为中国科学院院士。同年他调入广州师范学院。[5][6][4]1996年，张景中创建了广州大学（原广州师院）“课程与教学论”硕士点并任该点硕士生导师和学科带头人。[1]1997年，张景中当选为中共十五大代表。[5][6]2002年，张景中在广州大学的支持下，创立了广州景中教育软件有限公司并任公司董事长。[1]2022年9月17日，张景中作为首批进入广州科普研究智库的专家，在2022年广州市全国科普日主会场活动暨第五届科普嘉年华上亮相。[7]
张景中教授提出了定理机器证明的数值并行方法，解决了初等图形在欧氏空间嵌入等问题；创建了几何定理可读证明自动生成的原理和方法，推动了机器定理证明智能化技术的发展。他曾获1995年中国科学院自然科学奖一等奖、1997年国家自然科学二等奖及“全国五一劳动奖章”等；其应用研究获1982年国家发明二等奖等。[8][9]
人物经历
张景中，男，1936年12月30日生，河南汝南人。[2]
1954年，张景中进入北京大学数学力学系学习，1957年肄业，之后他曾在北京清河农场等地劳动。[5]1958年起，张景中在中国科学院成都分院工作，任数理科学研究室主任、研究员。1959年，张景中从北京大学数学力学系毕业，1979年，他在中国科学技术大学数学系担任讲师，并于1981年升为副教授。[5][6]1985年，张景中调到中国科学院成都分院工作。1986年，张景中担任中国科学院研究员，中国科学院成都分院数理科学研究室主任，中国科学院成都计算机应用研究所副所长。1991年，张景中开始享受政府特殊津贴。1993年12月，国务院学位委员会批准张景中为博士导师。1995年10月，张景中当选为中国科学院院士，兼任中国计算机学会理事、中国科协委员。同年调入广州师范学院。[5][6][4]1996年，张景中作为学科带头人，创建了广州大学（原广州师院）“课程与教学论”硕士点并任该点硕士生导师和学科带头人。[1]1997年，张景中当选为中共十五大代表，同年他获“国家自然科学奖二等奖”。[5][6]
2002年，张景中在广州大学的支持下，创立了广州景中教育软件有限公司并任公司董事长。[1]2005年，张景中的作品《数学家的眼光》获国家科学技术进步二等奖。[10]2008年10月，张景中来到电子科技大学工作。[11]2022年9月17日，张景中作为首批进入广州科普研究智库的专家在2022年广州市全国科普日主会场活动暨第五届科普嘉年华上亮相。[7]
研究方向
张景中主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。[2]
科研成就
张景中的主要贡献是：
（一）提出了面积解题方法，并用之于机器证明的研究，使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。[9]
（二）创立计算机生成几何定理可读证明的原理和算法，这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。[9]
（三）创立定理机器证明的数值并行方法的原理和算法。[9]
（四）对几何定理机器证明的吴方法进行了改进和发展，创立了含参结式法，升列组的WR分解算法，彻底解决了可约升列相对分解问题。[9]
（五）创立了教育数学的思想和方法。[9]
此外张景中所承担的国家973项目及省、市、学校的科研项目十多项，总经费为四百多万元。他的成果《安全、节能、低噪声的木工电磁振动刨床和木材的电磁振动刨削工艺》于1982年获国家发明二等奖；《几何定理机器证明理论与算法新进展》于1995年获“中科院自然科学奖一等奖”，他所主持开发的软件《Z+Z智能教育平台》于2000年获香港国际发明展览会金奖。其中的“平面几何”“解析几何” 2000年通过国家教育部教材审定委员会审定，由人民教育电子音像出版社出版发行。2003年被编入北京师范大学出版的初中数学教材并向全国发行。[2][5]
人才培养
在教学方面，1996年，张景中院士作为学科带头人，创建了广州大学（原广州师院）“课程与教学论”硕士点并任该点硕士生导师和学科带头人。1997年“学科教学论（数学）”被广州市教育局评为广州市重点学科。1998年，张景中创办了软件所信息与计算科学本科试点班，培养了本科生、硕士生及博士生几十人。[2][5]
社会任职
| 时间 | 任职 |
|---|---|
| 1986年 | 中国科学院研究员，中国科学院成都分院数理科学研究室主任，中国科学院成都计算机应用研究所副所长[6] |
| 1995年10月 | 中国计算机学会理事、中国科协委员[6] |
| 1997年 | 中共十五大代表[6] |
| 2006年3月 | 江西城市学院名誉校长、学术委员会主任[12] |
| - | 华中师范大学国家数字化学习工程技术研究中心学术委员会主任[13] |
| - | 中国科普作家协会理事长[9] |
| - | 广州大学计算机教育软件研究所所长[9] |
| - | 中国科学院成都计算机应用研究所名誉所长[9] |
| - | 广州大学计算科技研究院名誉院长[8] |
| - | 重庆邮电大学计算机学院院长[8] |
| - | 中国科学院大学重庆分院人工智能学院院长[8] |
| - | 中国科学院重庆绿色智能技术研究院自动推理与认知实验室主任[8] |
| - | 四川省计算机学会名誉理事长[14] |
| - | 《计算机应用》主编等[3] |
主要论文
| 题名 | 作者 | 来源 | 时间 |
|---|---|---|---|
| 单变元实迭代半群的存在唯一准则 | 张景中; 杨路 | 北京大学学报(自然科学版) | 1982 |
| 初等图形在欧氏空间的实现问题 | 张景中; 杨路; 杨孝春 | - | 1992 |
| 代数方程组相关性的一个判准及其在定理机器证明中的应用 | 张景中; 杨路; 侯晓荣 | 计算机学报 | 1993 |
| A Criterion for Dependency of Algebraic Equations With Applications to Automated Theorem Proving | 张景中； 杨路； 侯晓荣 | Science in China | 1994 |
| 几何定理可读证明的自动生成 | 张景中; 杨路; 高小山; 周咸青 | 计算机学报 | 1995 |
| 几何定理机器证明理论与算法新进展 | 张景中 | 中国科技奖励 | 1998 |
| 微积分学的初等化 | 张景中 | 华中师范大学学报(自然科学版) | 2006 |
| 采用近似计算获得准确值 | 张景中;冯勇 | 中国科学 | 2007 |
| 第三代的微积分 | 张景中;冯勇 | 自然杂志 | 2010 |
参考资料[2][注2]
人物评价
书籍
参考资料[2][15][注2]
个人荣誉
科研成果荣誉
参考资料[9][1]
参考资料 19
- 张景中 — 广州大学
- 张景中 — 中国科学院大学重庆学院
- 两院院士 — 中国科学院重庆绿色智能技术研究院
- 张景中 — 驻马店市人民政府
- 张景中 — 广州大学
- 张景中 — 电子科技大学教师个人主页
- 科学驿站：首批4名院士专家亮相，广州科普研究智库出炉 — 腾讯新闻
- 中国科学院院士张景中教授荣获2021年CCF终身成就奖 — 重庆邮电大学
- 北大校友计算机科学家张景中院士 — 北京大学新闻网
- 张景中 — 广州大学
- 张景中院士漫谈“思考与创新”的“方法论” — 电子科技大学
- 中国科学院张景中院士应邀来我校作专题学术报告 — 阿坝师范学院
- 张景中 — 华中师范大学校友会
- https://mp.weixin.qq.com/s/qjHzRpifFNY4OKg9LG_CAg
- 院士教你学数学/中国科普大奖图书典藏书系 — 豆瓣读书
- 大道至简，我想让数学更容易——中国科学院院士张景中 — 腾讯网
- 中科信息首席科学家张景中院士荣获2021年“CCF终身成就奖” — holdings.cas.cn
- https://mp.weixin.qq.com/s?__biz=MzU4MDcwNjgzOA==&mid=2247578337&idx=4&sn=ad3827e621575b9a5a0e64e832c67aa1&chksm=fc86e824fd2047853247cef38200d99395cb835133cb939d22394006410a1f417518f05ab8b0&scene=27&poc_token=HEuqwGejXPVCJipvbEs8NDbCjPWbP8RwRPRDPZEl
- 瞭望丨数学家、计算机科学家 张景中院士 教育数学：把数学变容易 — 百家号
注释
- 截至2025年2月28日
- 仅部分收录