El estudio de algoritmos aplicables a los sistemas algebraicos computarizados se denomina álgebra computacional.