DK Report 2014-10, A. Maletzky
Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema
dkreport14-10.pdf — PDF document, 981 KB (1004887 bytes)