Beyond the Existential Theory of the Reals

DOI10.1007/s00224-023-10151-xMaRDI QIDQ6489317

Daniel Štefanković, Marcus Schaefer

Publication date: 21 April 2024

Published in: Theory of Computing Systems (Search for Journal in Brave)

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

This page was built for publication: Beyond the Existential Theory of the Reals