author = {B. Buchberger},
title = {{Lazy Thinking: A Method for the Automated Invention of Algorithms}},
language = {english},
year = {2011},
month = {May 18},
annote = {2011-05-18-A},
note = {Invited colloquium talk at University of Klagenfurt, Austria, Dept. of Computer Science},
institution = {University of Klagenfurt, Austria, Dept. of Computer Science}