author = {B. Buchberger},
title = {{The Theorema Project: An Introduction}},
language = {english},
year = {1998},
month = {February 24},
annote = {1998-02-24-A},
note = {Invited colloquium talk at Research Institute IRST, Trento, Italy},
institution = {Research Institute IRST, Trento, Italy}