Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I cs.SC · 2026-05-18