{"id":"arxiv/2605.18110","url":"https://arxiv.org/abs/2605.18110","tags":["cs.SC","math.AG"],"score":0,"title":"Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I","domain":"cs.SC","source":"arxiv","authors":["Jérémy Berthomieu","Edern Gillot","Mohab Safey El Din"],"reviews":0,"subject":"cs.SC","summary":"We consider the problem of computing sample points in each connected component of a semi-algebraic set defined by the non-vanishing or the positivity of an n-variate polynomial of degree d, with rational coefficients of bit size bounded by $τ$. Such a problem is a basic routine in effective real algebraic geometry, used in higher-level algorithms for solving polynomial systems over the reals and finds many applications in sciences. We design a probabilistic algorithm for solving this problem, which is based on reductions to different routines for solving zero-dimensional polynomial systems.…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-05-18","reactions":{}}