Add to ORKGCoCoA-5 is an interactive Computer Algebra System for Computations in Commutative Algebra, particularly Gr\uf6bner bases. It offers a dedicated, mathematician-friendly programming language, with many built-in functions. Its mathematical core is CoCoALib, an opensource C++ library, designed to facilitate integration with other software. We give an overview of the latest developments of the library and of the system, in particular relating to the project SC-Square
In this paper we consider a number of challenges from the point of view of the CoCoA project one of ...
{libnormaliz} is a C++ library for computations with rational cones and affine monoids and {CoCoAL...
Cocoa4 is a C software for computations in commutative algebra; it consists of more than 1MB of code...
CoCoALib is a C++ software library offering operations on polynomials, ideals of polynomials, and re...
The CoCoA project began in 1987, and conducts research into Computational Commutative Algebra (from ...
First released in 1988, CoCoA is a freely available special-purpose system for doing Computations in...
CoCoA-5 is an interactive Computer Algebra System for Computations in Commutative Algebra, particula...
First released in 1988, CoCoA is a freely available special-purpose system for doing Computations in...
CoCoA is a ``well-established'' Computer Algebra System dating back to 1989. It was created as a lab...
First released in 1988 under the scientific direction of Lorenzo Robbiano, CoCoA is a special-purpos...
We present a survey on the developments related to GBases, and show explicit examples in cocoa. The...
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...
CoCoA-5 is a portable, high-quality computer algebra system specializing in Computational Commutativ...
What is CoCoA? CoCoA is a special-purpose system for doing Computations in Commutative Algebra. It...
In this paper we consider a number of challenges from the point of view of the CoCoA project one of ...
{libnormaliz} is a C++ library for computations with rational cones and affine monoids and {CoCoAL...
Cocoa4 is a C software for computations in commutative algebra; it consists of more than 1MB of code...
CoCoALib is a C++ software library offering operations on polynomials, ideals of polynomials, and re...
The CoCoA project began in 1987, and conducts research into Computational Commutative Algebra (from ...
First released in 1988, CoCoA is a freely available special-purpose system for doing Computations in...
CoCoA-5 is an interactive Computer Algebra System for Computations in Commutative Algebra, particula...
First released in 1988, CoCoA is a freely available special-purpose system for doing Computations in...
CoCoA is a ``well-established'' Computer Algebra System dating back to 1989. It was created as a lab...
First released in 1988 under the scientific direction of Lorenzo Robbiano, CoCoA is a special-purpos...
We present a survey on the developments related to GBases, and show explicit examples in cocoa. The...
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...
CoCoA-5 is a portable, high-quality computer algebra system specializing in Computational Commutativ...
What is CoCoA? CoCoA is a special-purpose system for doing Computations in Commutative Algebra. It...
In this paper we consider a number of challenges from the point of view of the CoCoA project one of ...
{libnormaliz} is a C++ library for computations with rational cones and affine monoids and {CoCoAL...
Cocoa4 is a C software for computations in commutative algebra; it consists of more than 1MB of code...