All Questions

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. ...