数学领域“八五”期间再攀高峰 [复制链接]

第10版(科技园地)
专栏：

　　数学领域“八五”期间再攀高峰
“八五”期间中科院的数学研究队伍在攀登科学高峰中又取得了多项重大成果。青年数学家马志明院士，在狄氏型与马氏过程理论的研究中取得了实质性突破，创建了拟正则狄氏型这个新的数学框架。吴文俊院士开展的机器证明研究，在数学科学与计算科学的交叉上创建了ＭＭ方法，被誉为“吴方法”。堵丁柱的“斯坦纳比猜想的证明”的工作解决了美国贝尔实验室长期研究未果，具有实用背景的数学难题，为通讯收费的合理性提供了良好的理论基础……