数学机械化是国家最高科技奖得主吴文俊的主要成就。完全由中国人开创的这一领域目前进展如何？记者日前从中国科学院数学与系统科学院获悉，在吴文俊的指导下，我国数学机械化研究近年来取得了一系列新进展，使我国继续挺立于数学机械化这一领域的国际前沿。
20世纪70年代后期，在计算机技术大发展的背景下，数学家、中国科学院院士吴文俊继承和发展了中国古代数学的算法化传统，研究几何定理的机器证明，这一国际自动推理界先驱性的工作，彻底改变了这个领域的面貌，产生了巨大影响。据悉，数学机械化研究目前已成为欧洲国家和美国积极研究的前沿领域。
虽然年逾八旬，但吴文俊至今仍活跃在数学机械化研究的第一线。在他的指导下，从1998年起，中科院数学与系统科学院数学机械化中心主任、国家重点基础规划项目“数学机械化与自动推理平台”首席科学家高小山率领项目组，开始在微分几何等新领域发展数学机械化，并力争解决信息处理、计算机图形与视觉、数控技术中的关键理论问题，建立自动推理平台。
经过两年努力，科学家们取得了一些阶段性成果：不等式机器证明方面形成的软件在世界范围内具有先进性；在图像压缩上，建成了一个性能优良的压缩与复现系统，压缩比高达240倍；独立建立了中国拼图算法，用于图像的隐藏和伪装等。
短短2年里，科学家们出版了6本论著，发表了269篇论文，获得5项专利。我国科学家的研究在国际上引起强烈反响。法国科学院的Bronstein教授主动要求进行合作研究，高小山开发的几何专家系统为欧美10多个国家的科研人员索取使用，由于工作突出，高小山于1999年获香港求是基金会杰出青年学者奖、第四届亚洲计算机数学技术大会最佳论文奖。李洪波研究员的工作则被美、英、德等国的研究人员应用于机器人、计算机视觉等高科技领域。
据悉，科学家将发展智能型的自动推理平台，为我国科研和技术创新中的脑力劳动提供工具。
热门推荐