Paper Info
Title
CoCoA: a system for computations in commutative algebra
Abstract
CoCoA is a special-purpose system for doing Computations in Commutative Algebra. It runs on all common platforms.CoCoA's particular strengths include ideal/module operations (such as Gröbner bases, syzygies and minimal free resolutions, intersections, divisions, the radical of an ideal, etc), polynomial factorization, exact linear algebra, computing Hilbert functions, and computing with zero-dimensional schemes and toric ideals.The usefulness of these technical skills is enhanced by the mathematically natural language for describing computations. This language is readily learned by students, and enables researchers to explore and develop new algorithms without the administrative tedium necessary when using "low-level" languages.Lately the CoCoA project has entered a new phase: the new design is expressly developed as a C++ library; a server and a standalone interactive system will be built on top of this library. The design should reflect the underlying mathematical structure since this will ensure that the library is natural to use.In this tutorial we will show several applications of Computer Commutative Algebra through the use of CoCoA and CoCoALib.
Year
DOI
Venue
2006
10.1145/1145768.1145774
ISSAC
Keywords
Field
DocType
hilbert function,polynomial factorization,matrix multiplication,natural language,representation theory,linear algebra
Linear algebra,Discrete mathematics,Radical of an ideal,Mathematical structure,Algebra,Computer science,Commutative algebra,Natural language,Representation theory,Matrix multiplication,Factorization of polynomials
Conference
ISBN
Citations 
PageRank 
1-59593-276-3
10
1.16
References 
Authors
1
2
Name
Order
Citations
PageRank
Anna Maria Bigatti14414.97
lorenzo robbiano228868.53