author = {B. Buchberger},
title = {{Verified Algorithm Development by Lazy Thinking}},
language = {english},
year = {2002},
month = {March 7},
annote = {2002-03-07-A},
note = {Invited colloquium talk at Mathematics Department, University of Kyushu, Fukuoka},
institution = {Mathematics Department, University of Kyushu, Fukuoka}