@article{RENEGAR1992255,
    Author = {Renegar, James},
    File = {1-s2.0-S0747717110800033-main (0) - a - a - a.pdf},
    ISSN = {0747-7171},
    Journal = {Journal of Symbolic Computation},
    Number = {3},
    Pages = {255 - 299},
    Title = {On the computational complexity and geometry of the first-order theory of the reals},
    URL = {http://www.sciencedirect.com/science/article/pii/S0747717110800033},
    Volume = {13},
    Year = {1992},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717110800033},
    bdsk-url-2 = {https://doi.org/10.1016/S0747-7171(10)80003-3},
    date-added = {2018-09-28 17:23:07 +0000},
    date-modified = {2018-09-28 17:23:07 +0000},
    doi = {10.1016/S0747-7171(10)80003-3}
}

@article{RENEGAR1992255, Author = {Renegar, James}, File = {1-s2.0-S0747717110800033-main (0) - a - a - a.pdf}, ISSN = {0747-7171}, Journal = {Journal of Symbolic Computation}, Number = {3}, Pages = {255 - 299}, Title = {On the computational complexity and geometry of the first-order theory of the reals}, URL = {http://www.sciencedirect.com/science/article/pii/S0747717110800033}, Volume = {13}, Year = {1992}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717110800033}, bdsk-url-2 = {https://doi.org/10.1016/S0747-7171(10)80003-3}, date-added = {2018-09-28 17:23:07 +0000}, date-modified = {2018-09-28 17:23:07 +0000}, doi = {10.1016/S0747-7171(10)80003-3} }