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

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

1 2 next

  1. Bigatti, Anna M.; De Negri, Emanuela: Koszul algebras and computations (2017)
  2. 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)
  3. Dinwoodie, Ian H.: Computational methods for asynchronous basins (2016)
  4. Ko, Jordan; Wynn, Henry P.: The algebraic method in quadrature for uncertainty quantification (2016)
  5. Abbott, John; Bigatti, Anna Maria: What is new in CoCoALib and CoCoA-5? (2015)
  6. Albert, Mario; Fetzer, Matthias; Sáenz-de-Cabezón, Eduardo; Seiler, Werner M.: On the free resolution induced by a Pommaret basis (2015)
  7. Albert, Mario; Fetzer, Matthias; Seiler, Werner M.: Janet bases and resolutions in CoCoALib (2015)
  8. Bruns, Winfried; Söger, Christof: The computation of generalized Ehrhart series in normaliz (2015)
  9. 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)
  10. Abbott, John; Bigatti, Anna Maria: What is new in CoCoA? (2014)
  11. Abbott, John; Bigatti, Anna Maria; Söger, Christof: Integration of libnormaliz in CoCoALib and CoCoA 5 (2014)
  12. Hong, Hoon (ed.); Yap, Chee (ed.): Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings (2014)
  13. Bigatti, Anna Maria; De Negri, Emanuela: Stanley decompositions using CoCoA (2013)
  14. Noro, Masayuki: Computation of Gröbner bases (2013)
  15. Abbott, John: Twin-float arithmetic (2012)
  16. Margulies, Susan; Hicks, I.V.: An algebraic exploration of dominating sets and Vizing’s conjecture (2012)
  17. De Loera, Jesús A.; Lee, Jon; Malkin, Peter N.; Margulies, Susan: Computing infeasibility certificates for combinatorial problems through Hilbert’s Nullstellensatz (2011)
  18. 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)
  19. Abbott, John; Bigatti, Anna M.: CoCoALib: A C++ library for computations in commutative algebra$\dots $ and beyond (2010)
  20. Fassino, Claudia: Almost vanishing polynomials for sets of limited precision points (2010)

1 2 next


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