J. Renegar

发表

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

J. Renegar, J. Renegar, 1989 .

Computational complexity of solving real algebraic formulae

J. Renegar, J. Renegar, 1990 .