Wu's method

From Wikipedia, the free encyclopedia

 This article does not cite any references or sources. (May 2008)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.

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. It is related to the characteristic set method introduced by Ritt (1938).

Wu's method decides when one radical ideal in a polynomial ring contains another. It works particularly well to solve geometry theorems of the constructive type.

This algebra-related article is a stub. You can help Wikipedia by expanding it.