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

Showing results 41 to 60 of 61.
Sorted by year (citations)
  1. Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika: \textttSMT-RAT: an open source \textttC++ toolbox for strategic and parallel SMT solving (2015)
  2. Gerdt, Vladimir P. (ed.); Koepf, Wolfram (ed.); Seiler, Werner M. (ed.); Vorozhtsov, Evgenii V. (ed.): Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14--18, 2015. Proceedings (2015)
  3. Abbott, John; Bigatti, Anna Maria: What is new in CoCoA? (2014)
  4. Abbott, John; Bigatti, Anna Maria; Söger, Christof: Integration of libnormaliz in CoCoALib and CoCoA 5 (2014)
  5. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  6. Bigatti, Anna Maria; De Negri, Emanuela: Stanley decompositions using CoCoA (2013)
  7. Noro, Masayuki: Computation of Gröbner bases (2013)
  8. Abbott, John: Twin-float arithmetic (2012)
  9. Margulies, Susan; Hicks, I. V.: An algebraic exploration of dominating sets and Vizing’s conjecture (2012)
  10. De Loera, Jesús A.; Lee, Jon; Malkin, Peter N.; Margulies, Susan: Computing infeasibility certificates for combinatorial problems through Hilbert’s Nullstellensatz (2011)
  11. 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)
  12. Abbott, John; Bigatti, Anna M.: CoCoALib: A C++ library for computations in commutative algebra(…) and beyond (2010)
  13. Fassino, Claudia: Almost vanishing polynomials for sets of limited precision points (2010)
  14. Fernández-Ramos, Óscar; García-Llorente, Eva; Sáenz-de-Cabezón, Eduardo: A monomial week (2010)
  15. 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)
  16. Naumowicz, Adam: Interfacing external CA systems for Gröbner bases computation in Mizar proof checking (2010)
  17. Sáenz-de-Cabezón, Eduardo: Computing the support of monomial iterated mapping cones (2010)
  18. Bigatti, Anna M.; Sáenz-de-Cabezón, E.: Computation of the ((n-1))-st Koszul homology of monomial ideals and related algorithms (2009)
  19. Arri, Alberto: The (F5) criterion revised (2008)
  20. Abbott, J.: The design of CoCoALib (2006)

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