Separation of semialgebraic sets

DOI10.1090/S0894-0347-99-00302-1zbMath0917.14032arXivalg-geom/9611023MaRDI QIDQ4243740

Francesca Acquistapace, Fabrizio Broglia, Carlos Andradas

Publication date: 19 May 1999

Published in: Journal of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/alg-geom/9611023

zbMATH Keywords

algorithmdecidability of separation problem of semialgebraic sets

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25) Semialgebraic sets and related spaces (14P10) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

Related Items (2)

Algebraic and analytic finite spaces of orderings. ⋮ Complements of unbounded convex polyhedra as polynomial images of \({{\mathbb{R}}}^n\)

Cites Work

• A note on a separation problem
• Semidefinite representations for finite varieties
• On the separation of basic semialgebraic sets by polynomials
• On the Mostowski number
• Real algebraic geometry and the 17th Hilbert problem
• On basic semialgebraic sets
• Characterization of fans and hereditarily pythagorean fields
• Low dimensional sections of basic semialgebraic sets
• Ubiquity of Łojasiewicz's example of a nonbasic semialgebraic set
• Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
• Spaces of orderings and abstract real spectra
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• Quotients and Inverse Limits of Spaces of Orderings
• The Witt Ring of a Space of Ordering
• Spaces of Orderings IV
• Classification of Finite Spaces of Orderings
• A separation theorem in dimension 3
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Separation of semialgebraic sets