author = {B. Buchberger},
title = {{Algorithm Invention and Verification by Lazy Thinking}},
language = {english},
year = {2003},
month = {November 19},
annote = {2003-11-19-A},
note = {Invited colloquium talk at Department of Computer Science, Lamar University, Texas, USA},
institution = {Department of Computer Science, Lamar University, Texas, USA}