Alessandro Giovini

Learn More
In this paper we describe some experimental ndings on selection strategies for Grr obner basis computation with the Buchberger algorithm. In particular, the results suggest that the \sugar avor" of the \normal selection", implemented rst in CoCoA, then in AlPI , and now in SCRATCHPAD-II, is the best choice for a selection strategy. It has to be combined(More)
  • 1