The real dimension problem is \(\text{NP}_{\mathbb R}\)-complete.

From MaRDI portal
Publication:1974570