CoCoA
  Computing in Commutative Algebra  



Home Page
The team
Downloading
Packages
System
overview

Users
Algorithms
History
Support


Algorithms in CoCoA

In this page you can find a list of papers which describe some architectural aspects and some original algorithms implemented in CoCoA.


*   J. Abbott,  Univariate factorization over the integers ,  Preprint (1998).
*   J. Abbott, A. Bigatti, M. Kreuzer, L. Robbiano  Computing Ideals of Points ,  JSC (1999).
*   A.M. Bigatti,  Computations of Hilbert-Poincaré Series ,  J. Pure Appl. Algebra, 119/3, 237-253 (1997).
*   A.M. Bigatti, A. Capani, G. Niesi, L. Robbiano,  Hilbert-Poincaré Series and Elimination Problems ,  Preprint (1998).
*   A.M. Bigatti, R. La Scala, L. Robbiano,  Computing Toric Ideals ,  JSC 27, 351-365 (1999).
*   M. Caboara, P. Conti, C. Traverso,  Yet Another Algorithm for Ideal Decomposition ,  In Proc. of AAECC-12, 147--152 (1997), Lecture Notes in Comp.Sci. 1255 ACM Press
*   M. Caboara, C. Traverso,  Efficient algorithms for ideal operations ,  In Proc. ISSAC 98, 147--152 (1998), New York. ACM Press
*   M. Caboara, G. De Dominicis, L. Robbiano,  Multigraded Hilbert Functions and Buchberger Algorithm ,  In Proc. ISSAC '96, 72-78 (1996), Y.N. Lakshman, ed., New York. ACM Press}
*   A. Capani,  The design of CoCoA 3 ,  In preparation.
*   A. Capani, G. De Dominicis,  Web Algebra,  In Proc. of WebNet 96. Association for the Advancement of Computing in Education (AACE) Charlottesville, USA, (1996)
*   A. Capani, G. De Dominicis, G. Niesi, L. Robbiano,  Computing Minimal Finite Free Resolutions, J. of Pure and Applied Algebra, 117-118 (1997) pp. 105-117.
*   A. Capani, G. Niesi,  CoCoA 3.0 User's Manual,  (1995)
*   A. Capani, G. Niesi, L. Robbiano,  Some Features of CoCoA 3 ,  Comput. Sci. J. of Moldova 4, 296-314 (1996)
*   A. Capani, G. Niesi,  The CoCoA 3 Framework for a Family of Buchberger-like Algorithms,  In Gröbner Bases and Applications (Proc. of the Conf. 33 Years of Gröbner Bases), London Math. Soc. Lecture Notes Series, Vol 251, B. Buchberger and F. Winkler eds., Cambridge University Press, p. 338-350 (1998).
*   A. Giovini, T. Mora, G. Niesi, L. Robbiano, C. Traverso,  ''One sugar cube, please'' OR Selection strategies in the Buchberger algorithm,  Proc. ISSAC '91, ACM Press (1991) pp. 49-54.
*   A. Giovini, G. Niesi,  CoCoA: a user-friendly system for commutative algebra,   Proc. DISCO '90, Lecture Notes in Computer Science 429, Springer-Verlag, Berlin, (1990) pp. 20-29.


Please send comments or suggestions to cocoa@dima.unige.it
Last Update: July 9, 1999.