author = {B. Buchberger},
title = {{Theorema: A New Kind of Mathematical System}},
language = {english},
year = {1999},
month = {April 14},
annote = {1999-04-14-A},
note = {Invited colloquium talk at University of Timisoara, Romania},
institution = {University of Timisoara, Romania}