@misc{RISC2846,
author = {Bruno Buchberger},
title = {{Algorithmic Algorithm Invention in the Theorema Project}},
language = {english},
year = {2005},
month = {May 16-18},
annote = {2005-05-16-B},
note = {Invited talk at Conference on Algorithms and Information Theory},
institution = {University of Vaasa, Finland},
conferencename = {Conference on Algorithms and Information Theory}
}