Does P≠NP over R ℝ imply P≠NP ?
where R ℝ is for Real number algorithms as described by Smale with a suitable formulation of P≠NP over Rℝ.
Complexity Theory and Numerical Analysis, Steve Smale, 2000 http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.33.4678&rep=rep1&type=pdf

