No CrossRef data available.
Published online by Cambridge University Press: 20 November 2018
Let V be an irreducible nonsingular algebraic surface, Y ⊂ V be an algebraic curve and P a point of Y. Suppose a sign distribution is given locally in a neighbourhood of P on some connected components of V — Y. We give an algorithmic criterion to decide whether this sign distribution is induced by a regular function or not. As an application, this criterion enables one to decide whether two semialgebraic sets can be locally separated or not.