author = {B. Buchberger},
title = {{Lazy Thinking: A New Method for Algorithm Synthesis}},
language = {english},
year = {2005},
month = {September, 25},
annote = {2005-09-26-A},
note = {Invited talk at Algebraic and Numerical Algorithms and Computer-assisted Proofs, Schloss Dagstuhl, Wadern, Germany},
conferencename = {Algebraic and Numerical Algorithms and Computer-assisted Proofs, Schloss Dagstuhl, Wadern, Germany}