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)
  • 1