On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number.

Jorge Gallego-Hernndez, Alessio Mansutti

Browse the full STACS paper archive.