The CoCoA project began in 1987, and conducts research into Computational Commutative Algebra (from which its name comes) with particular emphasis on Gr\uf6bner bases of ideals in multivariate polynomial rings, and related areas. A major output of the project is the CoCoA software, including the CoCoA-5 interactive system and the CoCoALib C++ library. The software is open-source (GPL v.3), and under continual, active development. We give a summary of the features of the software likely to be relevant to the SC-Square community
In this paper we consider a number of challenges from the point of view of the CoCoA project one of ...
What is CoCoA? CoCoA is a special-purpose system for doing Computations in Commutative Algebra. It...
Cocoa4 is a C software for computations in commutative algebra; it consists of more than 1MB of code...
CoCoA-5 is an interactive Computer Algebra System for Computations in Commutative Algebra, particula...
CoCoALib is a C++ software library offering operations on polynomials, ideals of polynomials, and re...
First released in 1988, CoCoA is a freely available special-purpose system for doing Computations in...
First released in 1988, CoCoA is a freely available special-purpose system for doing Computations in...
CoCoA-5 is a portable, high-quality computer algebra system specializing in Computational Commutativ...
First released in 1988 under the scientific direction of Lorenzo Robbiano, CoCoA is a special-purpos...
CoCoA-5 is an interactive Computer Algebra System for Computations in Commutative Algebra, particula...
CoCoA-5 is a portable, high-quality computer algebra system specializing in Computational Commutativ...
CoCoALib is a portable, high-quality, open source C++ software library released under the GPL licenc...
CoCoALib is a portable, high-quality, open source C++ software library released under the GPL licenc...
CocoaLib is a C++ library for computations in commutative algebra; it consists of more than 4MB of c...
We present a survey on the developments related to GBases, and show explicit examples in cocoa. The...
In this paper we consider a number of challenges from the point of view of the CoCoA project one of ...
What is CoCoA? CoCoA is a special-purpose system for doing Computations in Commutative Algebra. It...
Cocoa4 is a C software for computations in commutative algebra; it consists of more than 1MB of code...
CoCoA-5 is an interactive Computer Algebra System for Computations in Commutative Algebra, particula...
CoCoALib is a C++ software library offering operations on polynomials, ideals of polynomials, and re...
First released in 1988, CoCoA is a freely available special-purpose system for doing Computations in...
First released in 1988, CoCoA is a freely available special-purpose system for doing Computations in...
CoCoA-5 is a portable, high-quality computer algebra system specializing in Computational Commutativ...
First released in 1988 under the scientific direction of Lorenzo Robbiano, CoCoA is a special-purpos...
CoCoA-5 is an interactive Computer Algebra System for Computations in Commutative Algebra, particula...
CoCoA-5 is a portable, high-quality computer algebra system specializing in Computational Commutativ...
CoCoALib is a portable, high-quality, open source C++ software library released under the GPL licenc...
CoCoALib is a portable, high-quality, open source C++ software library released under the GPL licenc...
CocoaLib is a C++ library for computations in commutative algebra; it consists of more than 4MB of c...
We present a survey on the developments related to GBases, and show explicit examples in cocoa. The...
In this paper we consider a number of challenges from the point of view of the CoCoA project one of ...
What is CoCoA? CoCoA is a special-purpose system for doing Computations in Commutative Algebra. It...
Cocoa4 is a C software for computations in commutative algebra; it consists of more than 1MB of code...