Wu's method

From Wikipedia, the free encyclopedia

Wu's method is a technique in computer algebra. It uses polynomial division to solve problems of the form:

\forall x, y, z, ... P(x, y, z, ...) \implies Q(x, y, z, ...)

where P and Q are conjunctions of polynomial equations. It is complete for such problems over the complex domain. It is named for Wen-tsün Wu, who proposed it in 1978. Related ideas were already known.

Wu's method is an application of Buchberger's algorithm for calculating Gröbner bases, although it was discovered independently. In commutative algebra terms, it decides when one radical ideal in a polynomial ring contains another.