author = {B. Buchberger},
title = {{Die Zukunft der algorithmischen Mathematik: Kann mathematische Forschung automatisiert werden?}},
language = {english},
year = {2006},
month = {November 21},
annote = {2006-11-21-A},
note = {Invited colloquium talk at OCG, OVE, Graz},
institution = {OCG, OVE, Graz}