专家智库
中国人民政治协商会议重庆市委员会主办
首页 > 专题专栏 > 委员履职尽责实践活动 > 专家智库 > 正文
张景中简介

2019年07月18日 11:37 来源:委员履职尽责实践活动办公室

张景中,男,河南省汝南县人,1936年12月生,汉族,中共党员,毕业于北京大学数学力学系,中国科学院院士,计算机科学家、数学家和数学教育学家。现任广州大学计算科技研究院名誉院长、中国科学院成都计算机应用研究所名誉所长。

研究领域与成果:主要从事机器证明、教育数学、距离几何及动力系统等领域的研究。1.提出了面积解题方法,并用之于机器证明的研究,使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。2.创立计算机生成几何定理可读证明的原理和算法,这项成果被国际同行认为是使计算机能像处理算术一样处理几何工作的“里程碑”,并被系统地写入大学师范生《初等几何研究》教材。3.创立定理机器证明的数值并行方法的原理和算法。4.对几何定理机器证明的吴方法进行了改进和发展,创立了含参结式法,升列组的WR分解算法,彻底解决了可约升列相对分解问题。5.创立了教育数学的思想和方法。

曾获“全国优秀教师”等称号及“全国五一劳动奖章”;获1982年国家发明奖二等奖,1995年中国科学院自然科学奖一等奖,1997年国家自然科学奖二等奖,2005年和2009年国家科技进步奖二等奖。享受政府特殊津贴。

编辑:张敏
版权所有: 中国人民政治协商会议重庆市委员会
地址:重庆市渝北区红锦大道68号    邮编:401147    渝ICP备05006522号
未经允许 不得转载、复制或镜像    技术支持:新华网重庆频道