One Sugar cube, Please or Selection Strategies in the Buchberger Algorithm

Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso. One Sugar cube, Please or Selection Strategies in the Buchberger Algorithm. In ISSAC. pages 49-54, 1991. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.