RT Journal Article
T1 Separation of semialgebraic sets
A1 Acquistapace, Francesca
A1 Andradas Heranz, Carlos
A1 Broglia, Fabrizio
AB We study the problem of deciding whether two disjoint semialgebraic sets of an algebraic variety over R are separable by a polynomial. For that we isolate a densesubfamily of spaces of orderings, named geometric, which suffice to test separation and that reduce the problem to the study of the behaviour of the semialgebraic sets in their boundary. Then we derive several characterizations for the generic separation, among which there is a geometric criterion that can be tested algorithmically. Finally we show how to check recursively whether we can pass from generic separation to separation,obtaining a decision procedure for solving the problem.
PB American Mathematical Society
SN 0894-0347
YR 1999
FD 1999
LK https://hdl.handle.net/20.500.14352/57156
UL https://hdl.handle.net/20.500.14352/57156
LA eng
NO EC
NO GNSAGA
NO CNR
NO MURST
NO DGICYT
NO Fundacion del Amo, UCM.
DS Docta Complutense
RD 8 abr 2025