张杨定理

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

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