@misc{RISC4812,
author = {B. Buchberger},
title = {{How Much of Mathematical Invention Can be Automated?}},
language = {english},
year = {2013},
month = {May 3},
annote = {2013-05-03-A},
note = {Invited colloquium talk at Alan Mekler Lecture at Simon Frazer University, Math Department, Vancouver, Canada},
institution = {Alan Mekler Lecture at Simon Frazer University, Math Department, Vancouver, Canada}
}