Para un conjunto de ecuaciones polinómicas con varias incógnitas, existen algoritmos para decidir si tienen un número finito de soluciones complejas y, si este número es finito, para calcular las soluciones.