希望我的回答对你有用。
我国著名数学家吴文俊是我国唯一两次获得国家科学最高奖的数学家，数学与计算机在他的手中相遇，碰撞出了耀眼的火花。他近年来创立的定理机器证明的“吴文俊原理”（国际上称为“吴方法”），实现了初等几何与微分几何定理的机器证明，在这一领域达到了世界先进水平。他的重要创新改变了自动推 理研究的面貌，在定理机器证明领域产生了巨大影响。这项研 究有重要的实际应用价值，科学界认为，这种方法将引起数学研究方式的变革——推动脑力劳动机械化和数学的机械化研究。张景中等科学家也卓有成效地进行了几何定理计算机证明的研究，为计算机与数学研究的结合做出了重要贡献。
0