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 23 articles , 2 standard articles )

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

1 2 next

  1. Ko, Jordan; Wynn, Henry P.: The algebraic method in quadrature for uncertainty quantification (2016)
  2. Albert, Mario; Fetzer, Matthias; Sáenz-de-Cabezón, Eduardo; Seiler, Werner M.: On the free resolution induced by a Pommaret basis (2015)
  3. Bruns, Winfried; Söger, Christof: The computation of generalized Ehrhart series in normaliz (2015)
  4. Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika: SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving (2015)
  5. Abbott, John; Bigatti, Anna Maria: What is new in CoCoA? (2014)
  6. Abbott, John; Bigatti, Anna Maria; Söger, Christof: Integration of libnormaliz in CoCoALib and CoCoA 5 (2014)
  7. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  8. Bigatti, Anna Maria; De Negri, Emanuela: Stanley decompositions using CoCoA (2013)
  9. Noro, Masayuki: Computation of Gröbner bases (2013)
  10. Abbott, John: Twin-float arithmetic (2012)
  11. Margulies, Susan; Hicks, I.V.: An algebraic exploration of dominating sets and Vizing’s conjecture (2012)
  12. De Loera, Jesús A.; Lee, Jon; Malkin, Peter N.; Margulies, Susan: Computing infeasibility certificates for combinatorial problems through Hilbert’s Nullstellensatz (2011)
  13. Sáenz-de-Cabezón, Eduardo; Wynn, Henry P.: Computational algebraic algorithms for the reliability of generalized $k$-out-of-$n$ and related systems (2011)
  14. Abbott, John; Bigatti, Anna M.: CoCoALib: A C++ library for computations in commutative algebra$\dots $ and beyond (2010)
  15. Fassino, Claudia: Almost vanishing polynomials for sets of limited precision points (2010)
  16. Fernández-Ramos, Óscar; García-Llorente, Eva; Sáenz-de-Cabezón, Eduardo: A monomial week (2010)
  17. Fukuda, Komei (ed.); van der Hoeven, Joris (ed.); Joswig, Michael (ed.); Takayama, Nobuki (ed.): Mathematical software -- ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13--17, 2010. Proceedings (2010)
  18. Naumowicz, Adam: Interfacing external CA systems for Gröbner bases computation in Mizar proof checking (2010)
  19. Sáenz-de-Cabezón, Eduardo: Computing the support of monomial iterated mapping cones (2010)
  20. Bigatti, Anna M.; Sáenz-de-Cabezón, E.: Computation of the $(n-1)$-st Koszul homology of monomial ideals and related algorithms (2009)

1 2 next


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