Before revision:   We design a new practically efficient algorithm for solving one block quantifier elimination problems when the input semi-algebraic formula is a system of polynomial equations satisfying some mild assumptionssuch as transversality .
After revision:  We design a new probabilistic efficient algorithm for solving one block quantifier elimination problems when the input semi-algebraic formula is a system of polynomial equations satisfying some mild assumptionssuch as transversality .