Robuta

https://www.wolfram.com/language/12/algebraic-computation/compute-solution-set-topological-properties.html