author = {B. Buchberger},
title = {{Theorema: Computer-Assisted Mathematical Proving}},
language = {english},
year = {1998},
month = {April 24},
annote = {1998-04-24-A},
note = {Invited colloquium talk at Universitaet Karlsruhe, Institut fuer Informatik, Germany},
institution = {Universitaet Karlsruhe, Institut fuer Informatik, Germany}