Publications

Improved algorithm for quantifier elimination over real closed fields