【袁氏引理】数学家袁亚湘在非线性规划方面的研究成果被国际上命名为“袁氏引理”。
　　袁亚湘，男，1960年1月出生于中国湖南资兴。十八岁考上湘潭大学,四年后考上中国科学院计算中心研究生,师从冯康教授。1982年11月起在剑桥大学应用数学与理论物理系攻读博士,师从M.J.D.POWELL教授。1986年获博士学位。1985年10月至1988年9月在剑桥大学菲茨威廉姆学院工作(Rutherfordresearchfellow),1988年回到中国在中国科学院计算中心工作。现任中国科学院数学与系统科学研究院副院长。

　　袁亚湘在超线性优化的算法及其理论方面，取得了一系列的重要成果。他在信赖域法的收敛性分析方面所做的工作是开创性的，特别是对于非光滑优化信赖域方法的研究得出了一系列重要的收敛性定理，给出了超线性收敛的充分必要条件。他因此在1984年获英国剑桥大学数学学业部研究生论文竞赛唯一的一等奖，以及1985年在英国伦敦获首届青年国际数值分析奖二等奖。他在拟牛顿方法的理论研究方面贡献很大，他和美国科学家合作证明了一类拟牛顿方法的全局收敛性，这是非线性规划算法理论在80年代最重要的成果之一。他还首创性地提出了用信赖域方法和传统的线搜索方法的结合来构造新的计算方法，开创了利用非二次模型信息构造二次模型子问题的方法，提出了非拟牛顿方法。国外同行称袁亚湘在信赖域方法领域取得的成就是基石性的成果，他的贡献对最优化领域是至关重要的。