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 601 articles , 5 standard articles )

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

1 2 3 ... 29 30 31 next

  1. Abbott, John; Bigatti, Anna Maria; Palezzato, Elisa; Robbiano, Lorenzo: Computing and using minimal polynomials (2020)
  2. Amata, Luca; Crupi, Marilena: Hilbert functions of graded modules over an exterior algebra: an algorithmic approach (2020)
  3. Barile, Margherita; Macchia, Antonio: Minimal cellular resolutions of the edge ideals of forests (2020)
  4. Bigatti, Anna Maria; Palezzato, Elisa; Torielli, Michele: New characterizations of freeness for hyperplane arrangements (2020)
  5. Carlini, Enrico; Catalisano, Maria Virginia; Guardo, Elena; Van Tuyl, Adam: Hilbert functions of schemes of double and reduced points (2020)
  6. Công Minh, Nguyên; Thi Thuy, Phan: A computation of the Castelnuovo-Mumford regularity of certain two-dimensional unmixed ideals (2020)
  7. Dana-Picard, Thierry: An automated study of isoptic curves of an astroid (2020)
  8. England, Matthew; Bradford, Russell; Davenport, James H.: Cylindrical algebraic decomposition with equational constraints (2020)
  9. Favacchio, Giuseppe: A numerical property of Hilbert functions and lex segment ideals (2020)
  10. Hashemi, Amir; Kreuzer, Martin; Pourkhajouei, Samira: Computing coupled border bases (2020)
  11. Mandal, Mousumi; Nanduri, Ramakrishna: Regularity comparison of fiber cone and associated graded ring (2020)
  12. Abdi Makvand, Mohsen; Mousivand, Amir: Betti numbers of some circulant graphs. (2019)
  13. Amata, Luca; Crupi, Marilena: Computation of graded ideals with given extremal Betti numbers in a polynomial ring (2019)
  14. Bandari, Somayeh; Jafari, Raheleh: The stable property of projective dimension (2019)
  15. Bertone, Cristina; Cioffi, Francesca; Franco, Davide: Functors of liftings of projective schemes (2019)
  16. Bigatti, Anna; Palezzato, Elisa; Torielli, Michele: Extremal behavior in sectional matrices (2019)
  17. Blažek, Jiří; Pech, Pavel: On one locus in the plane (2019)
  18. Blažek, Jiří; Pech, Pavel: Locus computation in dynamic geometry environment (2019)
  19. Bruns, Winfried; Ichim, Bogdan; Söger, Christof: Computations of volumes and Ehrhart series in four candidates elections (2019)
  20. Calussi, Gabriele; Carlini, Enrico; Fatabbi, Giuliana; Lorenzini, Anna: On the Hadamard product of degenerate subvarieties (2019)

1 2 3 ... 29 30 31 next


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