author = {B. Buchberger},
title = {{Lazy Thinking: An Approach to Systematic Mathematical Theory Exploration}},
language = {english},
year = {2009},
month = {June 29},
annote = {2009-06-29-A},
note = {Invited talk at Conference AUTOMATHEO},
institution = {RISC, Johannes Kepler University, Hagenberg, Austria},
conferencename = {Conference AUTOMATHEO}