威廉·卡汉
概述
加拿大裔美国数学家和计算机科学家（1933—），加州大学伯克利分校教授，被尊称为"浮点运算之父"（Father of Floating Point）。1989 年获得图灵奖——计算机科学领域最高荣誉——以表彰他对浮点运算和数值分析的杰出贡献。对 IEEE 754 浮点运算标准（1985）的制定做出决定性贡献，该标准至今仍是全球所有计算机处理浮点数的基础。与 Golub 合作的 1965 年 SVD 论文体现了他近乎偏执的数值稳定性追求——这种态度深刻影响了整个计算科学界。
关键内容
- IEEE 754 标准（1985）：主要架构师，定义了浮点数表示（单精度/双精度）、舍入模式（向偶舍入等）、特殊值（NaN/Inf）；全球所有计算机的浮点运算基础
- Kahan 求和算法：通过补偿舍入误差减少浮点加法累积误差，精度提升接近翻倍，广泛用于高精度数值计算
- Golub-Kahan SVD（1965）：贡献了算法的数值稳定性设计——避免显式形成 $A^TA$（条件数平方化），隐式迭代保精度
- Demmel-Kahan 算法（1990, 与 James Demmel）：高相对精度双对角 SVD，精确计算接近零的小奇异值
- 图灵奖（1989年）引文：表彰"他在数值分析领域的基础性贡献，特别是在浮点计算标准化方面"
来源
- raw/books/数值分析/22_golub_kahan_svd.md