猪八戒网 一站式科技服务平台

张景中 中国科学院院士

中国计算机学会理事、中国科协委员

张景中,男,1936年12月出生于河南汝阳。1959年,毕业于北京大学数学力学系1979年任中国科学技术大学数学系讲师,1981年升为副教授。1958年起在中国科学院成都分院工作,任数理科学研究室主任、研究员。1979年任教于中国科学技术大学,1986年任中国科学院研究员。1995年,当选中国科学院院士。

  • 产业领域:面积解题,机器证明、教育数学、距离几何及动力系统-
  • 所 在 地:河南汝南
社会职务

中国计算机学会理事、中国科协委员

研究成果

提出了面积解题方法,并用之于机器证明的研究,使几何定理可读证明的自动生成这个多年来进展甚小的难题得到突破。创立计算机生成几何定理可读证明的原理和算法,这项成果被权威学者认为是使计算机能像处理算术一样处理几何工作的“里程碑”。创立定理机器证明的数值并行方法的原理和算法。对几何定理机器证明的吴方法进行了改进和发展,创立了含参结式法,升列组的WR分解算法,彻底解决了可约升列相对分解问题。

在线咨询