什么叫“吴方法”?“吴方法”就是将传统的数学定理证明和方程求解,同现代计算机技术相结合所产生的机器证明理论。由于这一理论是我国著名数学家吴文俊教授首先创立的,因而它在国际上就被称誉为“吴方法”。 What is called “the Wu method”? “The Wu method” is the machine proof theory that combines traditional mathematical theorem proving and equation solving with modern computer technology. As this theory was first established by Professor Wu Wenjun, a famous mathematician in China, it was internationally known as the “Wu method.”