TY  - RPRT
TI  - Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination
AU  - Mari-Emi Alonso
AU  - Henri Lombardi
PY  - 2022
UR  - https://arxiv.org/abs/2202.05504
ID  - 2202.05504
ER  -