The Complexity of Local Dimensions for Constructible Sets

Complexity and real computation

Choice Reviews Online · 1998 · 1.3K citations

Computing, Computer Science, Mathematics +17

On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines

Lenore Blum, M. Shub, Steve Smale · Bulletin of the American Mathematical Society · 1989 · 1.1K citations · Full text

Computing, Computer Science, Mathematics +17

Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes

László Babai, Shlomo Moran · Journal of Computer and System Sciences · 1988 · 596 citations

Computing, Computer Science, Mathematics +16

Does co-NP have short interactive proofs?

Ravi B. Boppana, Johan Håstad, Stathis Zachos · Information Processing Letters · 1987 · 367 citations

Computing, Computer Science, Algorithms +6

Definability and fast quantifier elimination in algebraically closed fields

Joos Heintz · Theoretical Computer Science · 1983 · 319 citations

Natural Sciences, Computer Science, Mathematics +12