On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number. - Jorge Gallego-Hernández; Alessio Mansutti (STACS, 2025)