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

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

1 2 3 next

  1. Amata, Luca; Crupi, Marilena: Computation of graded ideals with given extremal Betti numbers in a polynomial ring (2019-2019)
  2. Abbott, John; Bigatti, Anna M.: CoCoA-5.2.2 and CoCoALib (2018)
  3. Abbott, John; Bigatti, Anna Maria: Gröbner bases for everyone with CoCoA-5 and CoCoALib (2018)
  4. Albert, Mario; Seiler, Werner M.: Resolving decompositions for polynomial modules (2018)
  5. Fröberg, Ralf; Lundqvist, Samuel; Oneto, Alessandro; Shapiro, Boris: Algebraic stories from one and from the other pockets (2018)
  6. Görgen, Christiane; Bigatti, Anna; Riccomagno, Eva; Smith, Jim Q.: Discovery of statistical equivalence classes using computer algebra (2018)
  7. Kremer, Gereon; Ábrahám, Erika: Modular strategic SMT solving with \textbfSMT-RAT (2018)
  8. Abbott, John: Fault-tolerant modular reconstruction of rational numbers (2017)
  9. Abbott, John; Bigatti, Anna Maria; Robbiano, Lorenzo: Implicitization of hypersurfaces (2017)
  10. Bigatti, Anna M.; De Negri, Emanuela: Koszul algebras and computations (2017)
  11. 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)
  12. Bruns, Winfried; Sieg, Richard; Söger, Christof: Normaliz 2013--2016 (2017)
  13. Crupi, Marilena: A constructive method for standard Borel fixed submodules with given extremal Betti numbers (2017)
  14. Oneto, Anna; Tamone, Grazia: On semigroup rings with decreasing Hilbert function (2017)
  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)

1 2 3 next


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