↑↑↑↑ ↑ ↑

↑↑“文革”以后，吴文俊的研究兴趣转向了中国古代数学史，并开创了被称之为数学机械化的研究工作。在计算机技术大发展的背景下，他继承和发展了中国古代数学的传统，转而研究几何定理的机器证明，↑↑ ↑↑彻底改变了这个领域的面貌，被称为“吴方法”。↑↑↑ ↑

↑↑吴文俊的数学机械化方法“把中国传统的数学思想方法化腐朽为神奇”。↑↑ ↑↑牛顿发明了微积分，从此西方数学占了上风，中国传统数学只能“靠边站”了。可吴文俊受到中国古代数学的启发，↑↑ ↑↑结合当代计算机的原理，开创性的发明了“吴方法”。↑↑↑