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

Showing results 441 to 460 of 495.
Sorted by year (citations)

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

  1. Marcelo, Agustín; Rodríguez, César: Radical of submodules and symmetric algebra (2000)
  2. Migliore, Juan; Nagel, Uwe; Peterson, Chris: Constructing schemes with prescribed cohomology in arbitrary codimension (2000)
  3. Migliorini, Massimiliano; Tomassini, Adriano: Local calibrations of almost complex structures (2000)
  4. Miller, Ezra: The Alexander duality functors and local duality with monomial support (2000)
  5. Thiéry, Nicolas M.: Algebraic invariants of graphs; a study based on computer exploration (2000)
  6. Assan, Jean; Perdon, Anna M.: An efficient computation of the solution of the block decoupling problem with coefficient assignment over a ring. (1999)
  7. Assan, J.; Lafay, J.F.; Perdon, A.M.: Computation of maximal pre-controllability submodules over a Noetherian ring (1999)
  8. Bigatti, Anna Maria; La Scala, Roberto; Robbiano, Lorenzo: Computing toric ideals (1999)
  9. Holliday, Tim; Pistone, Giovanni; Ricomagno, Eva; Wynn, Henry P.: The applications of computational algebraic geometry to the analysis of designed experiments: a case study (1999)
  10. Pistone, Giovanni; Wynn, Henry P.: Finitely generated cumulants (1999)
  11. Brundu, M.; Logar, A.: Parametrization of the orbits of cubic surfaces (1998)
  12. Buchberger, Bruno (ed.); Winkler, Franz (ed.): Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases”, Linz, Austria, February 2--4, 1998 (1998)
  13. Capani, Antonio; Niesi, Gianfranco: The CoCoA 3 framework for a family of Buchberger-like algorithms (1998)
  14. Conca, Aldo: Straightening law and powers of determinantal ideals of Hankel matrices (1998)
  15. Greuel, Gert-Martin; Pfister, Gerhard: Gröbner bases and algebraic geometry (1998)
  16. Greuel, G.M.: Standard bases and applications (1998)
  17. Ha, H.Tai; Van Tuyl, A.: The graph and the image of a rational map from $\bbfP^n$ to $\bbfP^m$ (1998)
  18. Laita, Luis M.; Roanes-Lozano, Eugenio; Maojo, Víctor; Díaz, A.: A logic and computer algebra approach to a decision-making problem in medicine (1998)
  19. Peraire, Rosa: Moduli of plane curve singularities with a single characteristic exponent (1998)
  20. Roanes-Lozano, Eugenio; Laita, Luis M.; Roanes-Macías, Eugenio: A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra (1998)

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


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