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

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

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

  1. Conca, Aldo; Rossi, Maria Evelina; Valla, Giuseppe: Gröbner flags and Gorenstein algebras (2001)
  2. Cortadellas, Teresa; Zarzuela, Santiago: Burch’s inequality and the depth of the blow up rings of an ideal. (2001)
  3. Fatabbi, G.: On the resolution of ideals of fat points (2001)
  4. Fatabbi, Giuliana; Lorenzini, Anna: On a sharp bound for the regularity index of any set of fat points (2001)
  5. Laita, L.M.; González-Páez, G.; Roanes-Lozano, E.; Maojo, V.; de Ledesma, L.; Laita, L.: A methodology for constructing expert systems for medical diagnosis (2001)
  6. Laita, L.M.; Roanes-Lozano, E.; Maojo, V.; Roanes-Macías, E.; de Ledesma, L.; Laita, L.: An expert system for managing medical appropriateness criteria based on computer algebra techniques (2001)
  7. Orecchia, F.: Implicitization of a general union of parametric varieties (2001)
  8. Orecchia, Ferruccio: The ideal generation conjecture for general rational projective curves (2001)
  9. Pistone, Giovanni; Riccomagno, Eva; Wynn, Henry P.: Computational commutative algebra in discrete statistics (2001)
  10. Römer, Tim: On minimal graded free resolutions (2001)
  11. Villarreal, Rafael H.: Monomial algebras (2001)
  12. Abbott, John; Bigatti, Anna Maria; Kreuzer, Martin; Robbiano, Lorenzo: Computing ideals of points (2000)
  13. Albano, G.; Cioffi, F.; Orecchia, F.; Ramella, I.: Minimally generating ideals of rational parametric curves in polynomial time (2000)
  14. Conca, Aldo: Gröbner bases for spaces of quadrics of low codimension. (2000)
  15. Conca, Aldo: Hilbert function and resolution of the powers of the ideal of the rational normal curve (2000)
  16. Fontana, Roberto; Pistone, Giovanni; Rogantin, Maria Piera: Classification of two-level factorial fractions (2000)
  17. Gatermann, Karin: Computer algebra methods for equivariant dynamical systems (2000)
  18. Greuel, Gert-Martin: Computer algebra and algebraic geometry -- achievements and perspectives (2000)
  19. Kreuzer, Martin; Robbiano, Lorenzo: Computational commutative algebra. I (2000)
  20. Marcelo, Agustín; Rodríguez, César: Radical of submodules and symmetric algebra (2000)

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


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