Mientras que mucha de la geometría algebraica trata de proposiciones abstractas y generales sobre variedades, también se han desarrollado los métodos para la computación efectiva con polinomios concretos dados.