author = {B. Buchberger},
title = {{Theorema: Computer-Assisted Mathematical Proving}},
language = {english},
year = {1998},
month = {June 19},
annote = {1998-06-19-A},
note = {Invited talk at Annual Meeting of the Mathematics Department of the University of Wales, Gregynod, UK},
conferencename = {Annual Meeting of the Mathematics Department of the University of Wales, Gregynod, UK}