On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number | Publicación