author = {B. Buchberger},
title = {{Can Mathematical Invention be Automated?}},
language = {english},
year = {2012},
month = {December 16},
annote = {2012-12-16-A},
note = {Invited talk at ATCM 2012 (Asian Technology Conference in Mathematics)},
institution = {Bangkok, Thailand},
conferencename = {ATCM 2012 (Asian Technology Conference in Mathematics)}