Gröbner bases for everyone with CoCoA-5 and CoCoALib

zbMATH Open1411.13001arXiv1611.07306MaRDI QIDQ4627680FDOQ4627680

Authors: John Abbott, Anna M. Bigatti 

Publication date: 11 March 2019

Abstract: We present a survey on the developments related to Groebner 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 Groebner bases. Always maintaining this "friendly" tradition, the project has grown and evolved, and the software has been completely rewritten. CoCoA offers Groebner 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.

Full work available at URL: https://arxiv.org/abs/1611.07306

Recommendations

• What is new in CoCoA?
• What is new in CoCoALib and CoCoA-5?
• CoCoA-5.2.2 and CoCoALib
• CoCoALib: A C++ library for computations in commutative algebra\(\dots \) and beyond
• The design of CoCoALib

zbMATH Keywords

eliminationmodular methodsterm orderingsGröbner basesCoCoA-5software library CoCoALib

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Approximation algorithms (68W25) Combinatorial aspects of commutative algebra (05E40) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of algebraic surfaces (14Q10) Solving polynomial systems; resultants (13P15) Software, source code, etc. for problems pertaining to commutative algebra (13-04)

Cited In (9)

• New characterizations of freeness for hyperplane arrangements
• Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
• What is new in CoCoALib and CoCoA-5?
• CoCoA-5.2.2 and CoCoALib
• Three friends and computer algebra
• Ideals, Varieties, and Algorithms
• The design of CoCoALib
• What is new in CoCoA?
• Extremal behavior in sectional matrices

Uses Software

• CoCoA
• CoCoALib
• Gfan
• GSL
• libnormaliz

This page was built for publication: Gröbner bases for everyone with CoCoA-5 and CoCoALib

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4627680)