author = {B. Buchberger},
title = {{Algorithm Synthesis by Lazy Thinking}},
language = {english},
year = {2007},
month = {June 19-23},
annote = {2007-06-19-A},
note = {Invited talk at CADGME (Computer Algebra and Dynamic Geometry in Math Education)},
institution = {University of Pecs, Hungary},
conferencename = {CADGME (Computer Algebra and Dynamic Geometry in Math Education)}