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

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

1 2 next

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

1 2 next


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