1992年张景中等提出了几何定理可读证明自动生成的理论、算法和方法，并实现为通用的微机程序。用此新方法已经证明近千个非平凡的几何定理，其中有几十个非欧几何的新定理，对多数定理计算机自动生成了简捷优美的证明。国外著名计算机科学家在公开发表的出版物中称这一工作是使计算机能像处理算术那样处理几何的发展道路上的里程碑，是自动推理领域三十年来最重要的工作。以此成果为主的项目获中国科学院 1995 年自然科学一等奖，1997年国家自然科学二等奖。我国数学家张广厚与杨乐合作，首次发现函数值分布论中的两个主要概念“亏值”和“奇异方向”之间的具体联系，被数学界定名为“张杨定理”。