Personal tools
You are here: Home / Publications / Refereed Publications / A. Maletzky and B. Buchberger. Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

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

PDF document icon paper.pdf — PDF document, 276 KB (283040 bytes)