Vorobjov Computing the Complexification of a Semialgebraic Set (1996)

by M-F Roy, N
Venue:Proc. of International Symposium on Symbolic and Algebraic Computations