数学家在非线性规划方面的研究成果在国际上被称为“袁引理”。
袁亚湘，男，1960年1月出生于中国湖南资兴。18岁时，他被湘潭大学录取。四年后，他被中国科学院计算中心录取，师从冯康教授。自1982年11月以来，我一直在剑桥大学应用数学和理论物理系攻读博士学位，在鲍威尔教授的指导下，他于1986年获得博士学位。1985年10月至1988年9月，他在剑桥大学菲茨威廉学院工作，1988年回到中国，在中国科学院计算中心工作。他现任中国科学院数学与系统科学研究所副所长。
袁亚湘在超线性优化的算法和理论方面取得了一系列重要成果。他在信赖域方法收敛性分析方面的工作是开创性的，特别是对于非光滑优化信赖域方法的研究，得到了一系列重要的收敛定理，并给出了超线性收敛的充要条件。因此，他于1984年获得剑桥大学数学系研究生论文竞赛的唯一一等奖，并于1985年获得伦敦首届青年国际数值分析奖的二等奖。他对拟牛顿法的理论研究做出了巨大贡献。何和美国科学家共同证明了一类拟牛顿方法的全局收敛性，这是20世纪80年代非线性规划算法理论最重要的成果之一。他还首创了将信赖域方法和传统的线搜索方法相结合来构造新的计算方法，首创了利用非二次模型信息构造二次模型子问题的方法，并提出了非拟牛顿法。外国同事说，袁亚湘在信赖域方法领域的成就是基石性的成就，他的贡献对优化领域至关重要。