author = {B. Buchberger},
title = {{Automated Mathematical Theory Exploration: How Far Can We Go?}},
language = {english},
year = {2006},
month = {December 14-15},
annote = {2006-12-14-A},
note = {Invited colloquium talk at DERI, Innsbruck},
institution = {DERI, Innsbruck}