TY  - RPRT
TI  - On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
AU  - Jorge Gallego-Hernández
AU  - Alessio Mansutti
PY  - 2026
UR  - https://arxiv.org/abs/2502.02220
ID  - 2502.02220
ER  -