Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema

Research output: Working paper and reports › Preprint

Name	RISC Report Series
No.	14-10

Fields of science

@techreport{229a46d7dfb248d4ba95d77ed7ac14ce,

title = "Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema",

author = "Alexander Maletzky and Bruno Buchberger",

year = "2014",

month = oct,

language = "English",

series = "RISC Report Series",

publisher = "RISC, JKU",

number = "14-10",

type = "WorkingPaper",

institution = "RISC, JKU",

}