On the Computational Complexity and Geometry of the First-Order Theory of the Reals, Part I

PLEASE NOTE: The original Technical Report TR00853 is missing. A copy can be found at http://www.sciencedirect.com/science/article/pii/S0747717110800033