author = {B. Buchberger},
title = {{Algorithmic Algorithm Invention in the Theorema Project}},
language = {english},
year = {2005},
month = {May, 17},
annote = {2005-05-17-B},
note = {Invited talk at AIT (Algorithmic Information Theory), Vaasa, Finland},
conferencename = {AIT (Algorithmic Information Theory), Vaasa, Finland}