Alessandro Giovini

Learn More
In this paper redescribe some experimentti findings on selection strategies for Gr6bner basis computation with the Buchberger algorithm. In particular, the results suggest that the " sugar flavor " of the " normal selection " , implemented first in COCOA, then in AlPI, [14], [15] (up to now in the muLISP version, in a short time in the COMMON-LISP version,(More)
CoCoA is a special-purpose system for doing Computations in Commutative Algebra. It is the ongoing product of a research team in Computer Algebra at the University of Genova (Italy), whose members are: Lorenzo Robbiano (team manager), Gian-franco Niesi, Antonio Capani (CoCoA authors), Anna Bigatti, Massimo Caboara, Gabriel De Dominicis and occasionally(More)