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