|
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. |
|