Personal tools
You are here: Home / Publications / DK Report Series / DK Report 2014-10, A. Maletzky

DK Report 2014-10, A. Maletzky

Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

PDF document icon dkreport14-10.pdf — PDF document, 981 KB (1004887 bytes)