author = {B. Buchberger},
title = {{Automated Algorithm Synthesis in Theorema. Invited Colloqium at State Key Laboratory on Software Development Environment.}},
language = {english},
year = {2008},
month = {April 25},
annote = {2008-04-25-A},
note = {Invited colloquium talk at Beihan University, Beijing, China},
institution = {Beihan University, Beijing, China}