author = {B. Buchberger},
title = {{The Theorema Project at the RISC Institute}},
language = {english},
year = {1996},
month = {October 28},
annote = {1996-10-28-A},
note = {Invited colloquium talk at University of Kyoto, Department of Computer Science, Japan},
institution = {University of Kyoto, Department of Computer Science, Japan}