author = {B. Buchberger},
title = {{Algorithm Synthesis by Lazy Thinking: Case Study Gröbner Bases}},
language = {english},
year = {2005},
month = {November 14},
annote = {2005-11-14-A},
note = {Ultra-Omega-Theorema. Invited colloquium talk at DFKI, Saarland University},
institution = {DFKI, Saarland University}