CoCoA (Computations in Commutative Algebra) is a free computer algebra system to compute with numbers and polynomials. The CoCoA Library (CoCoALib) is available under GNU General Public License. Has been ported to many operating systems including Macintosh on PPC and x86, Linux on x86, x86-64 & PPC, Solaris on SPARC and Windows on x86. CoCoA is mainly used by researchers (see citations at and), but can be useful even for "simple" computations.
CoCoA's features include:Very big integers and rational numbers using the GNU Multi-Precision Library
Emacs-based UI and Qt-based UI
It is able to perform simple and sophisticated operations on multivaraiate polynomials and on various data related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Gröbner basis, syzygies and minimal free resolution, intersection, division, the radical of an ideal, the ideal of zero-dimensional schemes, Poincare’ series and Hilbert functions, factorization of polynomials, toric ideals. The capabilities of CoCoA and the flexibility of its use are further enhanced by the dedicated high-level programming language.
Its Mathematical core, CoCoALib, has been designed as an open source C++ library, focussing on ease of use and flexibility.
CoCoALib is based on GNU Multi-Precision Library.
CoCoALib is used by ApCoCoA and NmzIntegrate