2026-06-28T20:28:46Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/571562023-08-25T20:21:22Zcom_20.500.14352_14col_20.500.14352_15

Separation of semialgebraic sets Acquistapace, Francesca Andradas Heranz, Carlos Broglia, Fabrizio 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 dense subfamily 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. 2023-06-20T16:49:42Z 2023-06-20T16:49:42Z 2023-06-20T16:49:42Z 1999 journal article https://hdl.handle.net/20.500.14352/57156 0894-0347 10.1090/S0894-0347-99-00302-1 eng CHRX-CT94-0506. PB95-0354 restricted access American Mathematical Society