{"id":"arxiv/2601.04383","url":"https://arxiv.org/abs/2601.04383","tags":["math.AG","math.NA"],"score":0,"title":"Numerical Elimination: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets","domain":"math.AG","source":"arxiv","authors":["Paul Breiding","John Cobb","Aviva K. Englander","Nayda Farnsworth","Jonathan D. Hauenstein","Oskar Henriksson","David K. Johnson","Jordy Lopez Garcia","Deepak Mundayur"],"reviews":0,"subject":"math.AG","summary":"Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface decomposes into connected components. In this paper, we propose a new method for computing these components. Existing methods require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection may be computed…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-07","reactions":{}}