La técnica más importante es la de las bases de Gröbner, que se emplea en todos los sistemas de álgebra computacional.