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]

No reviews for this publication, yet.