author = {B. Buchberger},
title = {{Algorithm Invention and Verification by Lazy Thinking}},
language = {english},
year = {2003},
month = {October 1-4},
annote = {2003-10-01-B},
note = {Invited talk at Proceedings of SYNASC 2003, 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania, Mirton Publisher, pp. 2-26, ISBN: 973-661-104-3},
conferencename = {Proceedings of SYNASC 2003, 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania, Mirton Publisher, pp. 2-26, ISBN: 973-661-104-3}