TY  - RPRT
TI  - Quantifier elimination for the reals with a predicate for the powers of two
AU  - Jeremy Avigad
AU  - Yimu Yin
PY  - 2006
UR  - https://arxiv.org/abs/cs/0610117
ID  - cs/0610117
ER  -