CoCoA

CoCoA is a system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations on multivaraiate polynomials and on various data related to them (ideals, modules, matrices, rational functions). For example, it can readily compute Grobner bases, syzygies and minimal free resolution, intersection, division, the radical of an ideal, the ideal of zero-dimensional schemes, Poincare’ series and Hilbert functions, factorization of polynomials, toric ideals. The capabilities of CoCoA and the flexibility of its use are further enhanced by the dedicated high-level programming language. For convenience, the system offers a textual interface, an Emacs mode, and a graphical user interface common to most platforms. Computer algebra system (CAS).

This software is also referenced in ORMS.


References in zbMATH (referenced in 498 articles , 5 standard articles )

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

1 2 3 ... 23 24 25 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. Boffi, Giandomenico; Logar, Alessandro: Border bases for lattice ideals (2017)
  4. Bruns, Winfried; Conca, Aldo: Linear resolutions of powers and products (2017)
  5. Bruns, Winfried; Conca, Aldo: Products of Borel fixed ideals of maximal minors (2017)
  6. Charalambous, Hara; Thoma, Apostolos; Vladoiu, Marius: Minimal generating sets of lattice ideals (2017)
  7. D’Alì, Alessio: The Koszul property for spaces of quadrics of codimension three (2017)
  8. Dimca, Alexandru: Hyperplane arrangements. An introduction (2017)
  9. Gu, Yan: Regularity of powers of edge ideals of some graphs (2017)
  10. Norton, Graham H.: On the annihilator ideal of an inverse form (2017)
  11. Shirmohammadi, N.: A note on the multiplicity and final Betti number of a level algebra (2017)
  12. Torrente, Maria-Laura; Beltrametti, Mauro C.; Sommese, Andrew J.: Perturbation results on the zero-locus of a polynomial (2017)
  13. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas: \ssfSC$^2$: satisfiability checking meets symbolic computation. (Project paper) (2016)
  14. Barile, Margherita; Macchia, Antonio: The arithmetical rank of the edge ideals of graphs with pairwise disjoint cycles (2016)
  15. Bertone, Cristina; Cioffi, Francesca; Guida, Margherita; Roggero, Margherita: The scheme of liftings and applications (2016)
  16. Braun, Gábor; Pokutta, Sebastian: A polyhedral characterization of border bases (2016)
  17. Brinkmann, Daniel; Kaid, Almar: Rank-2 Syzygy bundles on Fermat curves and an application to Hilbert-Kunz functions (2016)
  18. Catalisano, Maria Virginia; Geramita, Anthony V.; Gimigliano, Alessandro; Shin, Yong-Su: The secant line variety to the varieties of reducible plane curves (2016)
  19. Charalambous, Hara; Thoma, Apostolos; Vladoiu, Marius: Binomial fibers and indispensable binomials (2016)
  20. Crupi, Marilena: Extremal Betti numbers of graded modules (2016)

1 2 3 ... 23 24 25 next


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