2021-09-23 18:22:17

张杨定理 免费编辑 添加义项名

B 添加义项
?
义项指多义词的不同概念,如李娜的义项:网球运动员、歌手等;非诚勿扰的义项:冯小刚执导电影、江苏卫视交友节目等。 查看详细规范>>
所属类别 :
其他
其他
编辑分类

1992年张景中等提出了几何定理可读证明自动生成的理论、算法和方法,并实现为通用的微机程序。用此新方法已经证明近千个非平凡的几何定理,其中有几十个非欧几何的新定理,对多数定理计算机自动生成了简捷优美的证明。国外著名计算机科学家在公开发表的出版物中称这一工作是使计算机能像处理算术那样处理几何的发展道路上的里程碑,是自动推理领域三十年来最重要的工作。以此成果为主的项目获中国科学院 1995 年自然科学一等奖,1997年国家自然科学二等奖。

基本信息

  • 中文名称

    张杨定理

  • 发现时间

    1992年

  • 提出者

    张广厚与杨乐

  • 释义

    发现分布论中的两个概念的联系

目录

折叠 编辑本段 简介

张广厚张广厚

1、我国数学家张广厚与杨乐合作,首次发现函数值分布论中的两个主要概念"亏值"和"奇异方向"之间的具体联系,被数学界定名为"张杨定理"。

2、1990年张景中、杨路提出了定理机器证明的数值并行方法,在世界上首次用计算机实现了有严密理论依据的几何定理例证法。方法优点之一是占用内存小,至今是唯一可用袖珍计算机证明非平凡几何定理的方法,也是机器证明中唯一可高度并行的算法。在国外文献中称此法为"张杨定理"。用此法发现的新定理引起国外专文讨论。

阅读全文

热点资讯