CoCoA (Computations in Commutative Algebra)
is a free developed by the University of Genova,

ApCoCoA, an extension of CoCoA

{{DEFAULTSORT:Cocoa System Computer algebra system software for Linux Free computer algebra systems Science software that uses Qt

Italy
Italy ( it, Italia ), officially the Italian Republic ( it, Repubblica Italiana, links=no ), is a country consisting of a Northern Italy, continental part, delimited by the Alps, a Italian Peninsula, peninsula and List of islands of Italy, se ...

, used to compute with numbers and polynomial
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...

s. The CoCoA Library (CoCoALib)
is available under GNU General Public License
The GNU General Public License (GNU GPL or simply GPL) is a series of widely-used free software licenses that guarantee end users the freedom to run, study, share, and modify the software. The licenses were originally written by Richard Stallma ...

. CoCoA has been ported to many operating systems including Macintosh
The Macintosh (mainly Mac since 1998) is a family of personal computers designed, manufactured, and sold by Apple Inc. since January 1984.
The original Macintosh is the first successful mass-market personal computer to have featured a graphic ...

on PPC and x86, Linux
Linux ( or ) is a family of free and open-source software, open-source Unix-like operating systems based on the Linux kernel, an Kernel (computing), operating system kernel first released on September 17, 1991, by Linus Torvalds. Linux is t ...

on x86, x86-64 & PPC, Solaris on SPARC
SPARC (Scalable Processor Architecture) is a reduced instruction set computing (RISC) instruction set architecture (ISA) originally developed by Sun Microsystems
Sun Microsystems, Inc. (Sun for short) is a defunct American company that sold ...

and Windows
Microsoft Windows, commonly referred to as Windows, is a group of several proprietary graphical operating system
An operating system (OS) is system software that manages computer hardware, computer software, software resources, and provi ...

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
* Multivariate Polynomial
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...

s
* Gröbner basis
* User interfaces: text; Emacs-based; Qt-based
It is able to perform simple and sophisticated operations on multivariate polynomials and on various data related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Gröbner basis, syzygies and Resolution (algebra)#Graded modules and algebras, minimal free resolutions, intersection, division, the radical of an ideal, the ideal of zero-dimensional schemes, Hilbert–Poincaré series, Poincaré series and Hilbert series and Hilbert polynomial, Hilbert functions, factorization of polynomials, and Monomial ideal, 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
See also

*List of computer algebra systems *Standard Template LibraryReferences

External links

*ApCoCoA, an extension of CoCoA

{{DEFAULTSORT:Cocoa System Computer algebra system software for Linux Free computer algebra systems Science software that uses Qt