Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination

Mari-Emi Alonso, Henri Lombardi

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 a…