什么是张杨定理

Question

如题所述

Answer 1

张杨定理有两个解释。
　1.数学届中，描述函数值分布论中的两个主要概念“亏值”和“奇异方向”之间具体联系的定理称为张杨定理。张杨定理是我国数学家张广厚与杨乐于19世纪80年代的共同研究成果。
　2.计算机领域中，张杨定理使用机器证明几何定理的数值并行方法。张杨定理于1990年由张景中、杨路提出，是唯一可用袖珍计算机证明非平凡几何定理的方法，也是机器证明中唯一可高度并行的算法。
在两个领域中，张杨定理都载入了史册，为科学发展做出了很大贡献。