SAL Home MATH Computer Algebra System


CoCoA is a special-purpose system for doing Computations in Commutative Algebra. With CoCoA, we basically do operations over commutative rings of polynomials. For example we may compute:

  • Gröbner bases and syzygies
  • minimal free resolutions
  • intersections and divisions
  • elimination of indeterminates
  • homogenization
  • Poincaré series and Hilbert functions
  • factorization of polynomials
  • toric ideals
In addition, the capabilities of the system and the flexibility of its use are greatly enhanced by the high-level original programming language CoCoAL, which allows the user to code his own algorithms in a straightforward way. Most of the algorithms implemented in CoCoA are new and have proved to be very efficient.

Current Version:   3.4

License Type:   ??

Home Site:

Source Code Availability:


Available Binary Packages:

  • Debian Package: No
  • RedHat RPM Package: No
  • Other Packages: Yes

Targeted Platforms:

Unix (SunOS, Solaris, Digital Unix), Macintosh (MacOS), PC (DOS, Windows95, Linux)

Software/Hardware Requirements:


Other Links:

Mailing Lists/USENET News Groups:


User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Mathematics   |   Computer Algebra Systems

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.