Does anyone have suggestions/experience for any software packages to study real algebraic varieties (for example, counting connected components of hypersurfaces, figuring out the topological type of these components, etc)? In principle, all this should be possible using Cylindrical Algerbaic Decomposition and variants thereof, but..

1more comment