@inproceedings{https___doi.org_10.4230_lipics.stacs.2025.37,
    doi = {10.4230/lipics.stacs.2025.37},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.37},
    author = {Gallego-Hernández, Jorge and Mansutti, Alessio},
    keywords = {Theory of the reals with exponentiation, decision procedures, computability, Computing methodologies → Symbolic and algebraic algorithms},
    language = {en},
    title = {On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2025},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2025-11-1 9:39:4 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.stacs.2025.37, doi = {10.4230/lipics.stacs.2025.37}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.37}, author = {Gallego-Hernández, Jorge and Mansutti, Alessio}, keywords = {Theory of the reals with exponentiation, decision procedures, computability, Computing methodologies → Symbolic and algebraic algorithms}, language = {en}, title = {On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2025}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2025-11-1 9:39:4 +0100} }