author = {Buchberger},
title = {{Keynote: Automated Mathematical Invention: Would Gröbner Need a PhD Student Today?}},
language = {english},
year = {2018},
month = {July 14},
note = {Invited talk at IJCAR (International Joint Conference on Automated Reasoning), CADE (Computer-Aided Demonstration)},
organization = {Oxford University},
conferencename = {IJCAR (International Joint Conference on Automated Reasoning), CADE (Computer-Aided Demonstration)}