author = {B. Buchberger},
title = {{THEOREMA: Formale Mathematik (Theorema: Formal Mathematics)}},
language = {german},
year = {2001},
month = {March 14},
annote = {2001-03-14-A},
note = {Invited colloquium talk at University of Innsbruck, Mathematical Institute, Austria},
institution = {University of Innsbruck, Mathematical Institute, Austria}