Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
arXiv:2202.05504
Abstract
We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs and some theorems about constructible subsets of real valuative affine space.