S Basu, R Pollack, MF Roy - Proceedings 35th Annual …, 1994 - ieeexplore.ieee.org
… defined by polynomial equalities, over a real closed extension, R(c) of R. Given a family of
polynomials P, we denote by P the family … In order, to recover points on the variety by letting C …