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/).


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

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

1 2 3 next

  1. Àlvarez Montaner, Josep; Fernández-Ramos, Oscar; Gimenez, Philippe: Pruned cellular free resolutions of monomial ideals (2020)
  2. Amata, Luca; Crupi, Marilena: Computation of graded ideals with given extremal Betti numbers in a polynomial ring (2019)
  3. Bigatti, Anna; Palezzato, Elisa; Torielli, Michele: Extremal behavior in sectional matrices (2019)
  4. Lichtblau, Daniel: Approximate polynomial GCD by approximate syzygies (2019)
  5. Palezzato, Elisa; Torielli, Michele: Hyperplane arrangements in CoCoA (2019)
  6. Abbott, John; Bigatti, Anna M.: CoCoA-5.2.2 and CoCoALib (2018)
  7. Abbott, John; Bigatti, Anna Maria: Gröbner bases for everyone with CoCoA-5 and CoCoALib (2018)
  8. Albert, Mario; Seiler, Werner M.: Resolving decompositions for polynomial modules (2018)
  9. Fröberg, Ralf; Lundqvist, Samuel; Oneto, Alessandro; Shapiro, Boris: Algebraic stories from one and from the other pockets (2018)
  10. Görgen, Christiane; Bigatti, Anna; Riccomagno, Eva; Smith, Jim Q.: Discovery of statistical equivalence classes using computer algebra (2018)
  11. Kremer, Gereon; Ábrahám, Erika: Modular strategic SMT solving with \textbfSMT-RAT (2018)
  12. Abbott, John: Fault-tolerant modular reconstruction of rational numbers (2017)
  13. Abbott, John; Bigatti, Anna Maria; Robbiano, Lorenzo: Implicitization of hypersurfaces (2017)
  14. Bigatti, Anna M.; De Negri, Emanuela: Koszul algebras and computations (2017)
  15. Bigatti, Anna M. (ed.); Gimenez, Philippe (ed.); Sáenz-de-Cabezón, Eduardo (ed.): Computations and combinatorics in commutative algebra. EACA school, Valladolid, Spain, 2013 (2017)
  16. Bruns, Winfried; Sieg, Richard; Söger, Christof: Normaliz 2013--2016 (2017)
  17. Crupi, Marilena: A constructive method for standard Borel fixed submodules with given extremal Betti numbers (2017)
  18. Oneto, Anna; Tamone, Grazia: On semigroup rings with decreasing Hilbert function (2017)
  19. Dinwoodie, Ian H.: Computational methods for asynchronous basins (2016)
  20. Ko, Jordan; Wynn, Henry P.: The algebraic method in quadrature for uncertainty quantification (2016)

1 2 3 next


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