@misc{indiciae7fcdc42b11e2,
  title = {Quantifier elimination for the reals with a predicate for the powers of two},
  author = {Jeremy Avigad and Yimu Yin},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0610117},
  note = {Source identifier: cs/0610117}
}