James Renegar. A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals. In 29th Annual Symposium on Foundations of Computer Science, 24-26 October 1988, White Plains, New York, USA. pages 291-295, IEEE, 1988.
@inproceedings{Renegar88,
title = {A Faster PSPACE Algorithm for Deciding the Existential Theory of the Reals},
author = {James Renegar},
year = {1988},
researchr = {https://researchr.org/publication/Renegar88},
cites = {0},
citedby = {0},
pages = {291-295},
booktitle = {29th Annual Symposium on Foundations of Computer Science, 24-26 October 1988, White Plains, New York, USA},
publisher = {IEEE},
}