author = {B. Buchberger},
title = {{Automated Synthesis of a Groebner Bases Algorithm.Talk at Workshop "Formal Groebner Bases Theory}},
language = {english},
year = {2006},
month = {March 6},
annote = {2006-03-06-C},
note = {Invited colloquium talk at RICAM - RISC, Linz, Austria},
institution = {RICAM - RISC, Linz, Austria}