A. Maletzky and B. Buchberger. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema
Proceedings of the 4th International Congress on Mathematical Software (ICMS'2014),
Seoul, Korea, August 5-9, 2014.
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-44199-2_8
paper.pdf
—
PDF document,
276 KB (283040 bytes)