Wu's Method

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

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.

 

JGEX Help