CoCoALib

CoCoALib: A C++ library for computations in commutative algebra⋯ and beyond. First released in 1988, CoCoA is a special-purpose system for doing Computations in Commutative Algebra: i.e. it is a system specialized in the algorithmic treatment of polynomials. It is freely available and offers a textual interface, an Emacs mode, and a graphical user interface common to most platforms (http://cocoa.dima.unige.it/).

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 55 articles , 3 standard articles )

Showing results 1 to 20 of 55.
Sorted by year (citations)

1 2 3 next

  1. Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo: Computing and using minimal polynomials (2020)
  2. Àlvarez Montaner, Josep; Fernández-Ramos, Oscar; Gimenez, Philippe: Pruned cellular free resolutions of monomial ideals (2020)
  3. Barile, Margherita; Macchia, Antonio: Minimal cellular resolutions of the edge ideals of forests (2020)
  4. Bigatti, Anna Maria; Palezzato, Elisa; Torielli, Michele: New characterizations of freeness for hyperplane arrangements (2020)
  5. England, Matthew; Bradford, Russell; Davenport, James H.: Cylindrical algebraic decomposition with equational constraints (2020)
  6. Szöllősi, Ferenc; Östergård, Patric R. J.: Constructions of maximum few-distance sets in Euclidean spaces (2020)
  7. Amata, Luca; Crupi, Marilena: Computation of graded ideals with given extremal Betti numbers in a polynomial ring (2019)
  8. Bigatti, Anna M.; Heras, Jónathan; Sáenz-de-Cabezón, Eduardo: Monomial resolutions for efficient computation of simplicial homology (2019)
  9. Bigatti, Anna; Palezzato, Elisa; Torielli, Michele: Extremal behavior in sectional matrices (2019)
  10. Karimi, Shokoufe; Mafi, Amir: On stability properties of powers of polymatroidal ideals (2019)
  11. Lichtblau, Daniel: Approximate polynomial GCD by approximate syzygies (2019)
  12. Mafi, Amir; Naderi, Dler: Results on the Hilbert coefficients and reduction numbers (2019)
  13. Palezzato, Elisa; Torielli, Michele: Hyperplane arrangements in CoCoA (2019)
  14. Abbott, John; Bigatti, Anna M.: CoCoA-5.2.2 and CoCoALib (2018)
  15. Abbott, John; Bigatti, Anna Maria: Gröbner bases for everyone with CoCoA-5 and CoCoALib (2018)
  16. Albert, Mario; Seiler, Werner M.: Resolving decompositions for polynomial modules (2018)
  17. Fröberg, Ralf; Lundqvist, Samuel; Oneto, Alessandro; Shapiro, Boris: Algebraic stories from one and from the other pockets (2018)
  18. Görgen, Christiane; Bigatti, Anna; Riccomagno, Eva; Smith, Jim Q.: Discovery of statistical equivalence classes using computer algebra (2018)
  19. Kremer, Gereon; Ábrahám, Erika: Modular strategic SMT solving with \textbfSMT-RAT (2018)
  20. Mafi, Amir: On the computation of the Ratliff-Rush closure, associated graded ring and invariance of a length (2018)

1 2 3 next


Further publications can be found at: http://cocoa.dima.unige.it/research/publications.html