author = {B. Buchberger},
title = {{Artificial Un-intelligence by Natural Intelligence: Case Study Mathematical Algorithm Synthesis}},
language = {english},
year = {2013},
month = {February 11-13},
annote = {2013-02-11-A},
note = {Invited talk at AIA 2013 (IASTED International Conference on Artificial Intelligence and Applications)},
institution = {Innsbruck, Austria},
conferencename = {AIA 2013 (IASTED International Conference on Artificial Intelligence and Applications)}