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

Showing results 461 to 480 of 482.
Sorted by year (citations)

previous 1 2 3 ... 22 23 24 25 next

  1. Alberti, M.A.; Carrà Ferro, Giuseppa; Lammoglia, B.; Torelli, M.: The dimension method in elementary and differential geometry (1995)
  2. Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas: An implicitization algorithm with fewer variables (1995)
  3. Cavaliere, M.P.; Rossi, M.E.; Valla, G.: Quadrics through a set of points and their syzygies (1995)
  4. Gatto, Letterio: Weight sequences versus gap sequences at singular points of Gorenstein curves (1995)
  5. Gräbe, Hans-Gert: The tangent cone algorithm and homogenization (1995)
  6. Achilles, Rüdiger; Aliffi, Davide: On the computation of the Stückrad-Vogel cycle by analytic spread and minimal reductions (1993)
  7. Bigatti, Anna Maria; Conti, Pasqualina; Robbiano, Lorenzo; Traverso, Carlo: A “divide and conquer” algorithm for Hilbert-Poincaré series, multiplicity and dimension of monomial ideals (1993)
  8. Caboara, Massimo: A dynamic algorithm for Gröbner basis computation (1993)
  9. Cavaliere, M.P.; Rossi, M.E.; Valla, G.: On the resolution of certain graded algebras (1993)
  10. Cavaliere, M.P.; Rossi, M.E.; Valla, G.: On the Green-Lazarsfeld conjecture and the minimal resolution conjecture for $n+3$ points in $\bbfP\sp n$ (1993)
  11. Eyssette, Frédéric; Galligo, André: Computational algebraic geometry. Papers from a conference, held in Nice, France, April 21--25, 1992 (1993)
  12. Geramita, Anthony V.; Kreuzer, Martin; Robbiano, Lorenzo: Cayley--Bacharach schemes and their canonical modules (1993)
  13. Mora, Teo; Robbiano, Lorenzo: Points in affine and projective spaces (1993)
  14. Niesi, G.; Robbiano, L.: Disproving Hibi’s conjecture with CoCoA; or: Projective curves with bad Hilbert functions (1993)
  15. Audoly, Stefania; Bellu, Giuseppina; Buttu, A.; D’Angio, Leontina: Procedures to investigate injectivity of polynomial maps and to compute the inverse (1991)
  16. Bigatti, Anna Maria; Caboara, Massimo; Robbiano, Lorenzo: On the computation of Hilbert-Poincaré series (1991)
  17. Giovini, Alessandro; Mora, Teo; Niesi, Gianfranco; Robbiano, Lorenzo; Traverso, Carlo: “One sugar cube, please” or selection strategies in the Buchberger algorithm (1991)
  18. Krick, Teresa; Logar, Alessandro: An algorithm for the computation of the radical of an ideal in the ring of polynomials (1991)
  19. Robbiano, Lorenzo: Bounds for degrees and number of elements in Gröbner bases (1991)
  20. Geramita, A.V.; Kreuzer, Martin; Robbiano, Lorenzo: Cayley-Bacharach schemes and their canonical modules (1990)

previous 1 2 3 ... 22 23 24 25 next


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