Email Record: Quantifier elimination and cylindrical algebraic decomposition /