“吴方法”与数学机械化

什么叫“吴方法”?“吴方法”就是将传统的数学定理证明和方程求解,同现代计算机技术相结合所产生的机器证明理论。由于这一理论是我国著名数学家吴文俊教授首先创立的,因而它在国际上就被称誉为“吴方法”。