TY  - JOUR
AU  - Acquistapace, Francesca
AU  - Andradas Heranz, Carlos
AU  - Broglia, Fabrizio
PY  - 1999
DO  - 10.1090/S0894-0347-99-00302-1
SN  - 0894-0347
UR  - https://hdl.handle.net/20.500.14352/57156
T2  - Journal of the  American Mathematical Society
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...
LA  - eng
M2  - 703
PB  - American Mathematical Society
KW  - decidability of separation problem of semialgebraic sets
KW  - algorithm
TI  - Separation of semialgebraic sets
TY  - journal article
VL  - 12
ER  -