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 401 to 420 of 498.
Sorted by year (citations)

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

  1. Aguzzoli, Stefano; Avesani, Paolo; Massa, Paolo: Collaborative case-based recommender systems (2002)
  2. Catalisano, M. V.; Geramita, A. V.; Gimigliano, A.: Ranks of tensors, secant varieties of Segre varieties and fat points (2002)
  3. Catalisano, M.V.; Geramita, A.V.; Gimigliano, A.: On the secant varieties to the tangential varieties of a Veronesean (2002)
  4. Conca, Aldo: Universally Koszul algebras defined by monomials. (2002)
  5. Elias, Juan: On the Grauert-Riemenschneider vanishing theorem (2002)
  6. Greuel, Gert-Martin; Pfister, Gerhard: A Singular introduction to commutative algebra. With contributions by Olaf Bachmann, Christoph Lossen and Hans Schönemann (2002)
  7. Kemper, Gregor: The calculation of radical ideals in positive characteristic (2002)
  8. Lechuga, Luis: Computing the Sullivan Milnor-Moore S. S. and the rational LS category of certain spaces (2002)
  9. Pérez-Carretero, Cristina; Laita, Luis M.; Roanes-Lozano, Eugenio; Lázaro, Luis; González-Cajal, Jesús; Laita, Laura: A logic and computer algebra-based expert system for diagnosis of anorexia (2002)
  10. Sabadini, Irene; Sommen, Frank: Hermitian Clifford analysis and resolutions (2002)
  11. Sabadini, Irene; Struppa, Daniele C.; Sommen, Frank; Van Lancker, Peter: Complexes of Dirac operators in Clifford algebras (2002)
  12. Sabadini, I.; Sommen, F.: Special first order systems in Clifford analysis and resolutions. (2002)
  13. Sturmfels, Bernd: Solving systems of polynomial equations (2002)
  14. Uriel, Ana González; Lozano, Eugenio Roanes: Expert system for managing urban planning parameters (2002) MathEduc
  15. Van Tuyl, Adam: The border of the Hilbert function of a set of points in $\Bbb P^n_1\times \cdots \times \Bbb P^n_k$ (2002)
  16. Wang, Mingsheng; Kwong, C.P.: Computing GCLF using syzygy algorithm (2002)
  17. Zhang, Shenggui; Jiang, Zhaolin; Liu, Sanyang: An application of the Gröbner basis in computation for the minimal polynomials and inverses of block circulant matrices (2002)
  18. Armando, Alessandro; Zini, Daniele: Interfacing computer algebra and deduction systems via the logic broker architecture (2001)
  19. Bazzotti, Laura; Dalzotto, Giorgio; Robbiano, Lorenzo: Remarks on geometric theorem proving (2001)
  20. Boffi, Giandomenico; De Negri, Emanuela: On the coordinate ring of pairs of alternating matrices with product zero (2001)

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


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