All Questions

I have a system of polynomial equations with the unknowns being real numbers. The set of solutions is infinite. What software can I use to compute the real dimension of the solution set? The CAD-based ...

I do not know whether there is a standard or some traditional ways to decide whether a semialgebraic set is connected or not. One way I know is the cylindrical algebraic decomposition (CAD) algorithm. ...