We present a survey on the developments related to Gröbner bases, and show explicit examples in CoCoA.
The CoCoA project dates back to 1987: its aim was to create a “mathematician”-friendly computational laboratory for studying Commutative Algebra, most especially Gröbner bases. Always maintaining this “friendly” tradition, the project has grown and evolved, and the software has been completely rewritten.
CoCoA offers Gröbner bases for all levels of interest: from the basic, explicit call in the interactive system CoCoA-5 , to problem-specific optimized implementations, to the computer–computer communication with the open source C++ software library, CoCoALib , or the prototype OpenMath-based server.
The openness and clean design of CoCoALib and CoCoA-5 are intended to offer different levels of usage, and to encourage external contributions.
Digital Object Identifier: 10.2969/aspm/07710001