Felipe Cucker, Peter Bürgisser «Solving Polynomial Equations in Smoothed Polynomial Time and a Near Solution to Smale's 17th Problem». Proc. 42nd ACM Symposium on Theory of Computing, 2010. arXiv: 0909.2114.
Shub, Michael; Smale, Steve «On the intractability of Hilbert’s Nullstellensatz and an algebraic version of "NP≠P?"». Duke Math. J., 81, 1995, pàg. 47–54. DOI: 10.1215/S0012-7094-95-08105-8.