author = {B. Buchberger},
title = {{Theorema: Automatisches Beweisen fuer mathematische Forschung und Lehre (Theorema: Automatic Proving for Math Research and Education)}},
language = {german},
year = {1998},
month = {November 25},
annote = {1998-11-25-A},
note = {Invited colloquium talk at Universitaet Leipzig, Mathematisches Institut, Germany},
institution = {Universitaet Leipzig, Mathematisches Institut, Germany}