Practical Groebner Basis Computation
arXiv:1206.6940
Abstract
We report on our experiences exploring state of the art Groebner basis computation. We investigate signature based algorithms in detail. We also introduce new practical data structures and computational techniques for use in both signature based Groebner basis algorithms and more traditional variations of the classic Buchberger algorithm. Our conclusions are based on experiments using our new freely available open source standalone C++ library.
Full online version including appendices, 17 pages; Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC) 2012