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

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

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

  1. Ha, H.Tai; Van Tuyl, A.: The graph and the image of a rational map from $\bbfP^n$ to $\bbfP^m$ (1998)
  2. 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)
  3. Peraire, Rosa: Moduli of plane curve singularities with a single characteristic exponent (1998)
  4. 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)
  5. Robbiano, Lorenzo: Gröbner bases and statistics (1998)
  6. Robbiano, Lorenzo; Rogantin, Maria Piera: Full factorial designs and distracted fractions (1998)
  7. Robbiano, Lorenzo; Valla, Giuseppe: Hilbert-Poincaré series of bigraded algebras (1998)
  8. Vasconcelos, Wolmer V.: Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman (1998)
  9. Bigatti, Anna M.: Computation of Hilbert-Poincaré series (1997)
  10. Capani, A.; De Dominicis, G.; Niesi, G.; Robbiano, L.: Computing minimal finite free resolutions (1997)
  11. Guarrera, Silvia; Logar, Alessandro; Mezzetti, Emilia: An algorithm for computing minimal curves (1997)
  12. Vasconcelos, Wolmer V.: Flatness testing and torsionfree morphisms (1997)
  13. Caboara, Massimo; De Dominicis, Gabriel; Robbiano, Lorenzo: Multigraded Hilbert functions and Buchberger algorithm (1996)
  14. Capani, A.; Niesi, G.; Robbiano, L.: Some features of $CoCoA 3$ (1996)
  15. Grassmann, H.; Greuel, G.-M.; Martin, B.; Neumann, W.; Pfister, G.; Pohl, W.; Schönemann, H.; Siebert, T.: On an implementation of standard bases and syzygies in SINGULAR (1996)
  16. Greuel, G.-M.; Pfister, G.: Advances and improvements in the theory of standard bases and syzygies (1996)
  17. Alberti, M.A.; Carrà Ferro, Giuseppa; Lammoglia, B.; Torelli, M.: The dimension method in elementary and differential geometry (1995)
  18. Alonso, Cesar; Gutierrez, Jaime; Recio, Tomas: An implicitization algorithm with fewer variables (1995)
  19. Cavaliere, M.P.; Rossi, M.E.; Valla, G.: Quadrics through a set of points and their syzygies (1995)
  20. Gatto, Letterio: Weight sequences versus gap sequences at singular points of Gorenstein curves (1995)

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


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