Este es una obra maestra de Smale donde inicia el estudio de la complejidad del problema de Bezout y motiva gran parte de la complejidad algorítmica en análisis numérico.