CoCoA
CoCoA (Computations in Commutative Algebra) es un sistema de álgebra computacional gratuito, para trabajar con números y polinomios con múltiples variables. Funciona sobre varios sistemas operativos: Macintosh en PPC, Linux para x86, x86-64 y PPC, Sun Solaris en SPARC y Windows sobre x86.
CoCoA nos permite realizar operaciones con:
- Enteros muy grandes y números racionales, utilizando GNU Multi-Precision Library.
- Polinomios.
- Bases de Gröbner.
- Sistemas de ecuaciones lineales.
- Soluciones enteras no negativas.