@misc{indiciaede76682902c5,
  title = {Generalized Taylor formulae, computations in real closed valued fields and quantifier elimination},
  author = {Mari-Emi Alonso and Henri Lombardi},
  year = {2022},
  url = {https://arxiv.org/abs/2202.05504},
  note = {Source identifier: 2202.05504}
}