author = {B. Buchberger},
title = {{Algorithmic Algorithm Synthesis: Case Study Groebner Bases}},
language = {english},
year = {2004},
month = {October 29},
annote = {2004-10-29-A},
note = {Invited colloquium talk at KAIST (University, Daejon)},
institution = {KAIST (University, Daejon)}