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

Showing results 21 to 40 of 61.
Sorted by year (citations)
  1. Abbott, John; Bigatti, Anna Maria: Gröbner bases for everyone with CoCoA-5 and CoCoALib (2018)
  2. Albert, Mario; Seiler, Werner M.: Resolving decompositions for polynomial modules (2018)
  3. Fröberg, Ralf; Lundqvist, Samuel; Oneto, Alessandro; Shapiro, Boris: Algebraic stories from one and from the other pockets (2018)
  4. Görgen, Christiane; Bigatti, Anna; Riccomagno, Eva; Smith, Jim Q.: Discovery of statistical equivalence classes using computer algebra (2018)
  5. Kremer, Gereon; Ábrahám, Erika: Modular strategic SMT solving with \textbfSMT-RAT (2018)
  6. Mafi, Amir: On the computation of the Ratliff-Rush closure, associated graded ring and invariance of a length (2018)
  7. Abbott, John: Fault-tolerant modular reconstruction of rational numbers (2017)
  8. Abbott, John; Bigatti, Anna Maria; Robbiano, Lorenzo: Implicitization of hypersurfaces (2017)
  9. Bigatti, Anna M.; De Negri, Emanuela: Koszul algebras and computations (2017)
  10. 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)
  11. Bruns, Winfried; Sieg, Richard; Söger, Christof: Normaliz 2013--2016 (2017)
  12. Crupi, Marilena: A constructive method for standard Borel fixed submodules with given extremal Betti numbers (2017)
  13. Oneto, Anna; Tamone, Grazia: On semigroup rings with decreasing Hilbert function (2017)
  14. Albert, Mario; Seiler, Werner M.: Resolving decompositions for polynomial modules (2016)
  15. Dinwoodie, Ian H.: Computational methods for asynchronous basins (2016)
  16. Ko, Jordan; Wynn, Henry P.: The algebraic method in quadrature for uncertainty quantification (2016)
  17. Abbott, John; Bigatti, Anna Maria: What is new in CoCoALib and CoCoA-5? (2015)
  18. Albert, Mario; Fetzer, Matthias; Sáenz-de-Cabezón, Eduardo; Seiler, Werner M.: On the free resolution induced by a Pommaret basis (2015)
  19. Albert, Mario; Fetzer, Matthias; Seiler, Werner M.: Janet bases and resolutions in \textscCoCoALib (2015)
  20. Bruns, Winfried; Söger, Christof: The computation of generalized Ehrhart series in normaliz (2015)

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