CoCoA (Computations in Commutative Algebra) es un sistema de álgebra computacional gratuito, para trabajar con números y polinomios con múltiples variables.