@inproceedings{RISC301,author = {B. Buchberger},
title = {{Algorithm Invention and Verification by Lazy Thinking}},
booktitle = {{Proceedings of SYNASC 2003, 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara}},
language = {english},
pages = {2--26},
publisher = {Copyright: Mirton Publisher},
address = {Timisoara, Romania},
isbn_issn = {ISBN: 973-661-104-3},
year = {2003},
month = {1-4 October},
annote = {2003-10-01-B},
editor = {D. Petcu and V. Negru and D. Zaharie and T. Jebelean},
refereed = {yes},
length = {14}
}