130 徐氏定理与徐氏公式
为数学家徐利治所给出。他在计算数学逼近论研究中，取得创造性成果。这些成果被国际数学界誉为“徐氏定理”和“徐氏公式”，并已成为现代物理学和航天工业高精度的计算工具。他发现大范围收敛的迭代求根法，亦即著名的“平方根迭代法”。此种方法已被应用于计算机软件。他还把“非标准分析”工具引入组合数学，建立了普遍反演定理。他所提出的振荡型积分渐近公式成为光学研究的工具。与人合作的数值积分与数值逼近方面的研究获国家自然科学奖。徐利治毕业于清华大学并留学英国。历任吉林大学、大连理工大学教授，大连理工大学数学研究所所长。