author = {B. Buchberger},
title = {{Dinstinguished Lecture: Can Mathematical Invention be Automated?}},
language = {english},
year = {2011},
month = {June 16},
annote = {2011-06-16-A},
note = {Invited colloquium talk at University of Waterloo, Dept. of Computer Science},
institution = {University of Waterloo, Dept. of Computer Science}