Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
Mari-Emi Alonso, Henri Lombardi · 2002
We use generalized Taylor formulae in order to give some simple constructions in the real closure of an ordered valued field. We deduce a new, simple quantifier elimination algorithm for real closed valued fields and some theorems about constructible subsets of real valuative affine space.