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

Showing results 401 to 420 of 528.
Sorted by year (citations)

previous 1 2 3 ... 19 20 21 22 23 ... 25 26 27 next

  1. Sabourin, S.: Generalized $O$-sequences and Hilbert functions of points (2004)
  2. Sbarra, Enrico: Ideals with maximal local cohomology modules (2004)
  3. Shin, Yong Su: Non-cancelable Betti numbers and type vectors. (2004)
  4. Vinai, Natale Paolo: Arithmetic degree and associated graded modules (2004)
  5. Zhang, Shenggui; Cheng, Sui Sun: Gröbner basis for an ideal of a polynomial ring over an algebraic extension over a field and its applications (2004)
  6. Ahmed, Maya; De Loera Jesús; Hemmecke, Raymond: Polyhedral cones of magic cubes and squares (2003)
  7. Arnold, Elizabeth A.: Modular algorithms for computing Gröbner bases. (2003)
  8. Bistarelli, Stefano; Boffi, Giandomenico; Rossi, Fabio: Computer algebra for fingerprint matching (2003)
  9. Botana, Francisco: A web-based intelligent system for geometric discovery (2003)
  10. Botana, Francisco: Automatic determination of algebraic surfaces as loci of points (2003)
  11. Botana, F.; Valcarce, J.L.: A software tool for the investigation of plane loci (2003)
  12. Catalisano, M. V.; Geramita, A. V.; Gimigliano, A.: Erratum to: “Ranks of tensors, secant varieties of Segre varieties and fat points” (2003)
  13. Ciliberto, Ciro; Cioffi, Francesca; Miranda, Rick; Orecchia, Ferruccio: Bivariate Hermite interpolation and linear systems of plane curves with base fat points (2003)
  14. Conca, Aldo: Reduction numbers and initial ideals (2003)
  15. Dinwoodie, I. H.; Mosteig, Edward: Statistical inference for internal network reliability with spatial dependence (2003)
  16. Dumas, Jean-Guillaume; Heckenbach, Frank; Saunders, David; Welker, Volkmar: Computing simplicial homology based on efficient Smith normal form algorithms (2003)
  17. Evangelaras, H.; Kotsireas, I.; Koukouvinos, C.: Application of Gröbner bases to the analysis of certain two or three level factorial designs (2003)
  18. Galetto, Fausto; Pistone, Giovanni; Rogantin, Maria Piera: Confounding revisited with commutative computational algebra (2003)
  19. Garvín, Antonio; Lechuga, Luis: Bounding the rational LS-category of certain spaces via the Hilbert function. (2003)
  20. Geramita, Anthony V.; Harima, Tadahito; Shin, Yong Su: Some special configurations of points in $\Bbb P^n$ (2003)

previous 1 2 3 ... 19 20 21 22 23 ... 25 26 27 next


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