author = {B. Buchberger},}
title = {{The Theorema Project}},
language = {english},
year = {1998},
month = {October 13},
annote = {1998-10-13-A},
note = {Invited colloquium talk at Universitad de Oriente, Santiago, Cuba},
institution = {Universitad de Oriente, Santiago, Cuba}