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

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

1 2 next

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

1 2 next


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