1

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

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

杨乐、张广厚在函式值分布论研究中关于"亏值"与"奇异方向"间的具体联繫的研究成果，还被国际上誉称为"杨张定理"。80年代，这两位青年数学家多次应邀赴欧美国家讲学，为祖国赢得了荣誉。