A complete algorithm for counting real s
A complete algorithm for counting real solutions of polynomial systems of equations and inequalities
β
Bican Xia; Xiaorong Hou
π
Article
π
2002
π
Elsevier Science
π
English
β 561 KB
We present a complete and practical algorithm which can determine the number of distinct real solutions of a given polynomial system of equations and inequalities with integer coefficients mechanically. Based on this algorithm, a program called nearsolve has been implemented in Maple. The algorithm