An improved algorithm for quantifier elimination over real closed fields | IEEE Conference Publication | IEEE Xplore