- 博客(4)
- 收藏
- 关注
原创 Saunders Mac Lane过世了
4月14号过世,终年95岁。Saunders是美国数学界的大牛,在代数方面造诣良深。不过对搞计算机的人来说,他最重要的贡献是1945提出了范畴论。范畴论提出的初衷是处理不同数学分支间的转换,但后来在程序设计理论方面应用广泛。这里是卜告。
2005-05-13 22:55:00 2761
原创 Leonid Khachiyan 过世了
终年52岁。Leonid在1972年首次给出了线性规划的多项式算法。虽然之前大家都知道Simplex算法,而且Simplex算法效率在实际应用中也不错,但Leonid的椭圆算法给出了线性规划在最坏情况下多项式解法的严格证明。在他之前,没有知道线性规划到底属于哪个复杂类(complexity class)。比较绝的是,虽然他的算法解决的是线性优化问题,但这个算法是基于非线性优化中的凸优化方法。他的这
2005-05-03 01:15:00 3657 2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人