论文部分内容阅读
The Characteristic Set Method of Wen Tsun Wu has freed Ritts decomposition from polynomial factorization,opening the door to a variety of discoveries in polynomial system solving.