A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals

James Renegar

Browse the full FOCS paper archive.