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 57 articles , 3 standard articles )

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

1 2 3 next

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

1 2 3 next


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