author = {B. Buchberger},
title = {{Algorithm Synthesis in Theorema: Case Study Gröbner Bases}},
language = {english},
year = {2005},
month = {June 23},
annote = {2005-06-23-A},
note = {Invited colloquium talk at University of Edinburgh, School of Informatics},
institution = {University of Edinburgh, School of Informatics}