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

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

1 2 next

  1. Amata, Luca; Crupi, Marilena: Computation of graded ideals with given extremal Betti numbers in a polynomial ring (2019-2019)
  2. Abbott, John; Bigatti, Anna M.: CoCoA-5.2.2 and CoCoALib (2018)
  3. Abbott, John; Bigatti, Anna Maria: Gröbner bases for everyone with CoCoA-5 and CoCoALib (2018)
  4. Albert, Mario; Seiler, Werner M.: Resolving decompositions for polynomial modules (2018)
  5. Görgen, Christiane; Bigatti, Anna; Riccomagno, Eva; Smith, Jim Q.: Discovery of statistical equivalence classes using computer algebra (2018)
  6. Abbott, John: Fault-tolerant modular reconstruction of rational numbers (2017)
  7. Abbott, John; Bigatti, Anna Maria; Robbiano, Lorenzo: Implicitization of hypersurfaces (2017)
  8. Bigatti, Anna M.; De Negri, Emanuela: Koszul algebras and computations (2017)
  9. 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)
  10. Bruns, Winfried; Sieg, Richard; Söger, Christof: Normaliz 2013--2016 (2017)
  11. Crupi, Marilena: A constructive method for standard Borel fixed submodules with given extremal Betti numbers (2017)
  12. Oneto, Anna; Tamone, Grazia: On semigroup rings with decreasing Hilbert function (2017)
  13. Dinwoodie, Ian H.: Computational methods for asynchronous basins (2016)
  14. Ko, Jordan; Wynn, Henry P.: The algebraic method in quadrature for uncertainty quantification (2016)
  15. Abbott, John; Bigatti, Anna Maria: What is new in CoCoALib and CoCoA-5? (2015)
  16. Albert, Mario; Fetzer, Matthias; Sáenz-de-Cabezón, Eduardo; Seiler, Werner M.: On the free resolution induced by a Pommaret basis (2015)
  17. Albert, Mario; Fetzer, Matthias; Seiler, Werner M.: Janet bases and resolutions in \textscCoCoALib (2015)
  18. Bruns, Winfried; Söger, Christof: The computation of generalized Ehrhart series in normaliz (2015)
  19. 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)
  20. 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)

1 2 next


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