author = {B. Buchberger},
title = {{Theorema: Beyond Computer Algebra}},
language = {english},
year = {2000},
month = {February 28},
annote = {2000-02-28-A},
note = {Invited colloquium talk at University of Texas at Beaumont, Computer Science Department},
institution = {University of Texas at Beaumont, Computer Science Department}