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. 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 particulary well to solve geometry theorems of the constructive type.

 This mathematics-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../w/u/27/Wu%27s_method.html"